Cordis仓库https://github.com/cordiverse/cordisKoishi官网https://koishi.chat/zh-CN/DeepSeek技术预览 Cordis入门相关论文《A Programming Paradigm for Spatiotemporal Composability》一、什么是 CordisCordis拉丁语意为心是一个元框架Meta Framework——即用于构建框架的框架。它不耦合任何具体业务领域只专注于解决一个核心问题如何让软件的各个组件可以安全地组合、热插拔并在卸载时完整逆转其所有副作用。Cordis 最初从知名的聊天机器人框架 Koishi 中抽离出来作为其底层插件系统独立发展。2025 年起它因被 DeepSeek Harness深度求索发布的 AI Agent 运行框架采用而进入更广泛的开发者视野。2026 年 8 月北京大学与 DeepSeek-AI 联合发表论文《A Programming Paradigm for Spatiotemporal Composability》为 Cordis 的设计建立了形式化模型将其核心理念概括为时空可组合性。二、起源从 Koishi 到通用元框架Koishi 是一个支持多平台QQ、微信、飞书、Telegram 等的聊天机器人框架其核心设计哲学是插件即一切——所有功能都通过插件实现且支持运行时热更新。随着 Koishi 的发展其插件系统逐渐成熟为一个与具体聊天场景无关的通用基础设施。开发者意识到这套插件系统所解决的问题——依赖管理、生命周期控制、副作用追踪与回滚——是几乎所有复杂软件系统都会面临的共性挑战。于是他们将这部分能力从 Koishi 中剥离形成了独立的 Cordis 项目目标是成为未来软件的心脏。三、核心理念时空可组合性Cordis 的设计哲学可以浓缩为两个词时间可组合性Temporal Composability与空间可组合性Spatial Composability。3.1 时间可组合性副作用必须可逆传统软件架构中组件安装后往往难以干净地卸载。一个模块可能注册了事件监听器、打开了文件句柄、修改了全局状态当它被移除时这些副作用常常残留导致内存泄漏、状态污染甚至系统崩溃。Cordis 要求任何组件在撤出时必须能够完整逆转其产生的所有副作用。这通过以下机制实现可逆副作用Reversible Effects所有副作用操作如ctx.on()注册事件监听、ctx.effect()注册自定义资源都会返回一个撤销函数disposer。Cordis 内部维护一个副作用栈当插件被卸载时自动按逆序调用所有 disposer。事务化加载配置更新时Cordis 会尝试原子性地加载新配置。如果任何步骤失败整个事务回滚系统状态保持一致不会出现装了一半的残局。Fiber 状态机每个插件拥有独立的生命周期状态机PENDING → LOADING → ACTIVE → DISPOSED确保状态转换的确定性。这种设计使得 Cordis 系统可以长期运行而无需重启。据作者分享基于 Cordis 构建的 Koishi 服务在三年间经历了无数次插件更新进程从未重启。3.2 空间可组合性依赖必须声明复杂系统中组件之间存在大量隐式依赖。A 模块依赖 B 模块的某个功能但如果没有显式声明系统无法知道 B 必须在 A 之前加载也无法在 B 不可用时优雅地处理 A 的行为。Cordis 要求任何组件必须显式声明其依赖的服务系统据此自动编排加载顺序。依赖注入Dependency Injection插件通过inject属性声明所需服务如inject: [tools, llm]。Cordis 会等待这些服务就绪后才启动该插件。服务隔离Service Isolation可以为特定服务创建隔离上下文使得上下文内外的插件无法相互感知。这在多租户场景或沙箱环境中尤为重要。四、五大核心概念根据 DeepSeek Harness 官方文档使用 Cordis 需要理解五个核心概念4.1 插件Plugin插件是实现Service接口的对象。它可以是一个带有inject属性和apply(ctx)方法的函数一个继承自Service的类插件是 Cordis 中功能的最小单元所有能力都由插件提供。4.2 上下文Context上下文是服务的容器。每个服务占据一个稳定的上下文键如ctx.tools、ctx.llm、ctx.database。上下文提供了统一的命名空间避免了全局污染。4.3 依赖注入inject插件通过inject声明所需服务。例如constmyPlugin{inject:[llm,tools],apply(ctx){// 此时 ctx.llm 和 ctx.tools 已保证可用ctx.llm.chat(...)}}Cordis 会自动解析依赖图确保服务按正确顺序加载。这消除了手动编排的繁琐和易错性。4.4 类型化事件Cordis 提供了强类型的事件系统支持四种分发模式emit广播事件不等待回调waterfall瀑布式传递每个监听器可以修改事件参数parallel并行调用所有监听器serial串行调用前一个完成后才调用下一个所有事件都通过ctx.on()注册因此天然享受可逆副作用的保障——插件卸载时所有事件监听自动移除。4.5 可逆副作用这是 Cordis 最独特的设计。任何副作用操作都通过上下文注册ctx.on(message,handler)// 事件监听ctx.effect((){// 自定义副作用constconncreateConnection()return()conn.close()// 返回 disposer})当插件被卸载或重载时Cordis 自动调用所有 disposer确保资源完全释放。五、技术架构Cordis 的核心实现极为精简约 2000 行 TypeScript 代码主要包含以下模块模块职责Service定义命名的上下文键支持 provide提供服务与 consume消费服务Fiber管理插件生命周期处理状态转换与错误恢复Effect副作用注册与撤销管理维护副作用栈Events类型化事件系统支持多种分发策略Config增量配置加载与热模块替换HMR支持事务化回滚这种精简性意味着 Cordis 的心智负担很低。开发者不需要学习庞大的 API只需理解插件-上下文-副作用这一核心三角即可。六、应用案例DeepSeek HarnessCordis 最具代表性的应用是DeepSeek Harness这是 DeepSeek 发布的 AI Agent 运行框架。Harness 采用一切皆插件的架构模型Model、工具Tool、技能Skill、会话Session、沙箱Sandbox、存储Storage、循环Loop、调度Schedule、UI等所有 Agent 能力均为 Cordis 插件。开发者可以独立替换或扩展任一能力无需改动 Harness 源码。沙箱、远程渠道QQ、微信、飞书、Telegram等也是可插拔组件。这种架构使得 Harness 具有极高的可定制性和可维护性。研究团队可以专注于算法插件的开发而无需关心底层生命周期管理运维团队可以在运行时热更新插件而无需重启整个 Agent 服务。七、总结Cordis 框架的核心价值在于它将插件系统从传统的能装不能卸的静态模式进化为可热插拔、副作用可逆、依赖可声明的动态模式。其时空可组合性的设计哲学为构建长期运行、频繁更新、组件高度解耦的复杂系统提供了坚实的理论基础和技术实现。无论是聊天机器人、AI Agent 运行时还是任何需要模块化、可扩展架构的软件系统Cordis 都提供了一个值得深入研究的范式。