seek://guides

教程

长文教程：harness 是什么、Cordis 提出了什么、插件怎么写。

什么是 Cordis？（论文精读）

2026年8月14日 · Intermediate

Cordis 是 DeepSeek Harness 底层的插件框架，其设计被形式化在预印本《A Programming Paradigm for Spatiotemporal Composability》中。本指南用人话精读这篇论文：时间可组合性指组件移除时副作用完全回退，空间可组合性指依赖被声明并被响应式管理——两者即 revertible effects 与 reactive coeffects，最终统一进单一 context type。

阅读全文 →

什么是 DeepSeek Harness？

2026年8月14日 · Beginner

DeepSeek Harness（dsh）是 DeepSeek 开源的 Agent 框架，其架构中一切能力——模型接入、工具、会话、乃至 agent 循环本身——都是插件，没有特权核心。本指南解释 harness 这个概念，带你走完一个 turn 的完整流程，并说明「model-visible means logged」这条会话日志不变量为什么让整个系统可审计。

阅读全文 →