⚙️

dsh-proof

工作流更新于 2026.10.07

在终端中运行以下命令：

dsh plugin install beijingwahw/dsh-proof

将以下提示词粘贴到 DeepSeek Harness 对话框中：

在 DeepSeek Harness 中执行 dsh plugin install beijingwahw/dsh-proof 即可安装；源码仓库为 https://github.com/beijingwahw/dsh-proof。

插件介绍

Agent harness 会详尽记录它做了什么，却很少能回答一个更关键的问题：改动是否真的可用。「做完了」往往是执行方自己的陈述，而不是可被第三方独立核验的事实。dsh-proof 把完成度从自报升级为可重算的证据链：每一次客观检查的运行都被记下，形成内容寻址、只增不改、哈希链接的日志；链头由 Agent 无法伪造的签名检查点封存，并镜像到工作区之外的锚点，使篡改与回滚可被检出。

在 DSH 插件形态下，模型通过 proof_* 工具表达意图，引擎执行检查、写入证据并返回等级（proven / regressed / stale / unproven / no-baseline）——结论来自重跑证据，而非再次询问 Agent。回归归因对照工作开始时的基线视图：同一次会话内的 pass→fail 记为回归并关联到变更集；声明则升级为五种类型化契约（如行为保持、性能预算、仅文档等），每种契约绑定明确的证据义务。验证工作流按「每毫秒期望信息增益」排序检查，在置信度达到配置目标（默认 0.97）时停止，避免把缺失证据包装成通过。

同一套核心还可通过 Agent Proof Protocol（APP/1.4）与 Proof MCP Server 接入任意 MCP 客户端，Claude Code / OpenCode 适配器则在工具调用边界做运行时约束。机器检查、LLM 陪审与人类背书分属不同证据等级，权重有界；多 Agent 委托会形成可独立复验的责任 DAG。

适合需要在交付前留下可审计完成证明的团队：平台与 harness 维护者、对回归敏感的业务工程、以及希望把「验收」从对话承诺变成可携带 proof bundle 的集成方。