kaisersong/dsh-xiaok-plugins

kaisersong★ 0TypeScript最后同步: 2026-08-18

在 GitHub 打开

xiaok-native Cordis plugins for DeepSeek Harness: evidence-based delivery, intent routing, review separation

README 摘要

dsh-xiaok-plugins xiaok 的差异化能力,做成 DeepSeek Harness(dsh)的 原生 Cordis 插件 。设计依据《A Programming Paradigm for Spatiotemporal Composability》论文的三个机制:可逆效应、反应式协效应、时间可组合性。实现计划见 PLAN.md。 插件一览(9 包 / 3 能力) 能力 包 ctx 键 论文机制 一句话 证据化交付 @xiaok/dsh-evidence ctx.evidenceStore 时间可组合性 done = 有可检查的产物,不是模型说了算 @xiaok/dsh-evidence-filesystem — (provider) 内置校验器:exists/nonempty/json/json-keys/html + sha256 @xiaok/dsh-tool-evidence — (consumer) 工具: declare evidence / check evidence / evidence status @xiaok/dsh-guard-completion — (consumer) agent/turn-stopping 守卫:未满足契约 → 注入补齐提醒 意图路由 @xiaok/dsh-intent-router ctx.intentRegistry 反应式协效应 模糊请求 → 规范化 intent + 单步活动契约 @xiaok/dsh-tool-intent — (consumer) 工具: declare intent / complete step / intent status 评审分离 @xiaok/dsh-review-separation ctx.reviewPolicy 可逆效应 maker/checker 分离;驳回 = 撤回重做 @xiaok/dsh-tool-review — (consumer) 工具: request review / review status @xiaok/dsh-review-policy-automatic — (provider) 规则自动审批(低风险白名单短路) 架构约定(对齐 dsh 规范) - 一切状态都是 session log 的纯 fold :三个能力各持 3 组 log-only 事件( evidence/ 、 intent/ 、 review/ ),通过 SessionEventMap 声明合并注册;resume/fork/compaction 不需要任何 live mirror(与 plan/mode 同构)。 - 能力三件套 :Service Definition(types + fold + Service) / Provider(实现) / Con…

在 GitHub 查看完整 README →
工具/开发agent-harnesscordisdeepseek-harnessdsh-pluginxiaokagent

分类