🧠

dsh-veripipe

记忆更新于 2026.10.08

在终端中运行以下命令：

dsh plugin install zhangyy0423/dsh-veripipe

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

在 DeepSeek Harness 中执行 dsh plugin install zhangyy0423/dsh-veripipe 即可安装；插件源码见 https://github.com/zhangyy0423/dsh-veripipe。

插件介绍

DeepSeek Harness 自带的 todos 会话投影会在每一轮 turn/start 时被清空：下一轮开始后，外部校验器再也读不到上一轮的待办状态，无法区分「计划已全部完成」与「中途放弃」——两者都表现为空列表。

dsh-veripipe 从同一条会话事件日志折叠出一条并行投影 veripipeReceipts，条目不会被后续回合擦除。每当 turn/end 发生时，它会为该回合铸造一张终结收据，记录回合号、结束原因、待办计数、目标标识，以及采用 fail-closed 语义的 planComplete 裁决（pass / fail / inconclusive）。投影纯函数、确定性重放，最多保留最近 50 条；配套只读工具 veripipe_receipt 可拉取当前会话最近收据，不发起模型调用、不联网、不写回会话。

收据只存计数与标识，不记录提示词、待办正文、工具参数或目标文案，适合需要在回合之间做合规或完成度判断、又不想触碰私密内容的场景。它与外部 veripipe 校验管线配套时尤其有用，也可单独当作通用的回合完成账本使用。