DeepSeek开源了DeepSeek Harness框架，利用范畴论为AI Agent构建骨架，核心是“一切皆插件”，由Cordis系统驱动，确保插件可组合、可替换。通过态射和单子结构，系统实现容错、可追溯和确定性，使Agent行为可预测。开发者无需改动源码即可扩展功能，数学在类型层面保证组合正确性。