Loading...
DeepSeek:一切皆插件,包括 Harness 作者丨樊天骄 编辑丨岑 峰 8 月 13 日,DeepSeek 正式开放 DeepSeek Harness v0.1 Developer Preview。项目非常火热,截至 8 月 14 日下午,DeepSeek Harness 在Github 上已经获得了 4.5 万星 。 不过这次比较值得讨论的倒不是 DeepSeek 又做了一个 Coding Agent,而是它对 Harness 提出了一个明确概念 : 一切皆插件。 过去的 Harness 像一个固定浇筑的大楼,遵循一个相对固定的结构: 核心 Harness + 外挂插件。 用户可以在外围增加 Skill 或者接入 MCP 等其他工具,但工具调用、会话管理、沙箱、存储以及 Agent Loop 等底层运行机制,通常已经由厂商提前搭好并封装在产品内部,普通用户无法直接修改。 这次 DeepSeek Harness 把这栋“固定的大楼”拆成了一盒乐高: 不只是外围能力可以插件化,连 Model Adapter、Tool Registry、Session Log,甚至 Agent Loop 这样的核心组件,也都可插拔。 也就是说, 没有 什么核心 Harness 或 者外挂插 件的分别了,Harness 自己就是由插件拼出来的。 01 核心架构 Cordis 为什么 DeepSeek 连核心都要插件化? Deepseek 给出的答案是:实现 Self-Evolving Agent Harness 。 Harness 不只是调用固定能力,而是能够在运行过程中生成、替换自己的组件。这样 Agent 不只是调用 Harness 提供的能力,它甚至可以开始检查、挂载和修改自己的 Runtime。 也正因为如此,Runtime 本身需要先被拆成可以动态组合的对象。 不过这时候有个问题:如果所有东西都能动,怎么保证不把系统搞爆炸? 对此,DeepSeek-AI 与北京大学研究者联合发表了一篇名为 《A Programming Paradigm for Spatiotemporal Composability》 的论文,并提出了一套名为 Cordis 的动态组件框架。 这套机制曾经长期运行在 Koishi 里——这是一个高度插件化的开源聊天机器人框架,拥有数千个社区插件; 而 Cordis 位于它更底层,最初解决的是普通软件中的插件卸载问题:插件安装后会留下监听器、服务、定时器等副作用,而 Cordis 负责记录这些变化,并在插件卸载时完整撤销。 Cordis 核心要做到两件事: 第一个是 Temporal Composability,时间可组合性 。简单来说,就是一个组件被卸载以后,它此前对系统产生的影响能不能一起撤销。 比如一个 Plugin 注册了事件监听、占用了资源或者修改了某些运行状态,那么 Plugin 消失之后,这些“副作用”也应该被完整清理,让系统尽可能恢复到它加入之前的状态。 第二个是 Spatial Composability,空间可组合性 。 它解决的是组件之间的依赖问题:一个组件可以声明自己需要哪些能力,当提供这些能力的其他组件出现、消失或者被替换时,Runtime 如何能够重新处理这条依赖关系,并协调相关组件的生命周期。 在 Koishi 里,这套机制解决的是一个复杂插件生态如何动态运行的问题: 插件可以被拔掉,但它留下的影响也要跟着消失;一个 Provider 被替换以后,依赖它的其他插件也要知道自己接下来该怎么办。 所以 Cordis 在 DSH 里的意义就比较清楚了: 如果 Agent 未来真的要修改自己的 Harness,“自定义”只是第一步。更重要的是,修改之后还能撤回,以及被修改组件背后的依赖关系还能继续正常工作。 02 DeepSeek 做了什么新的扩展 那么,Cordis 如何解决 时间可组合性 和 空间可组合性 两大议题? 这就要说到:Revertible Effects 和 Reactive Coeffects: Revertible Effects,我们可以称它为“可撤销副作用”。 它解决的是组件修改 Runtime 之后,怎么把这些修改再撤回来。 Cordis 要求所有对 Context 的修改都通过 ctx.effect 进行。每执行一次修改,组件都需要同时留下一个对应的 inverse,也就是“撤销方法”。 比如,注册监听器时留下注销方法,启动定时器时留下关闭方法。而 Runtime 会把这些 inverse 按顺序记录下来,当组件被卸载时,系统会按照相反顺序逐一执行。 但把自己留下的东西收拾干净还不够。组件之间往往存在依赖关系:如果它依赖的 Provider 被移除、替换或重新注册,
2026-08-24
2026-08-23
2026-08-22
2026-08-21
2026-08-20
2026-08-19
金花战报:王左王右逆转创个人新高,张帅坚韧前行虽败犹荣
我在这家俱乐部学到了很多足球技巧,教练的指导非常专业,帮助我在比赛中更加自信!...
辽宁有望合并的两城市,一旦成功,有望实现经济复苏!
我在这家俱乐部学到了很多足球技巧,教练的指导非常专业,帮助我在比赛中更加自信!...