butler-git
在终端中运行以下命令:
dsh plugin install Hercules-debug/butler-git
将以下提示词粘贴到 DeepSeek Harness 对话框中:
在 DeepSeek Harness 中执行 dsh plugin install Hercules-debug/butler-git 即可安装该插件,源码仓库为 https://github.com/Hercules-debug/butler-git。
插件介绍
多 Agent 在同一个仓库里改代码时,最难说清楚的不是做了什么,而是这次提交是否只做了声明过的事、并且真的验过了。butler-git 把任务拆成带意图的节点:你声明要达成什么、预期工作区会怎么变(Δ)、以及一条退出码为 0 才算过的检测命令(P)。提交不是随手一点,而是一次门禁——先固定要入库的树,再跑 P,通过后才用 commit 留下不可变的证据。
对模型侧,它只暴露四个面:规划节点、看相对 base 的差分并与 Δ 对比、带门禁的提交、放弃未完成的声明。node_status 会把预期外的改动摊开说清楚,避免把没看见误读成没问题。凭证决定谁能改谁的意图,已达成节点靠冻结保护历史事实;绿光只描述某个 commit 曾被验过,不替未提交的工作区背书。
它刻意不假装能禁止裸 git commit,但账本、trailer 与复查让绕过容易被发现;证据可脱离 .bg 重放,图丢了也不丢问责链。门禁本身只依赖 node 与 git,适合在 DSH 等工作流里给 Agent 一套可审计、可重放的 Git 协作约定,尤其是你希望一次提交等于一次可证明的验收的团队与插件作者。
使用场景
- 多 Agent 共仓开发,需要每次提交都对齐声明过的预期改动
- 希望用检测命令 P 把「做对了」绑进 commit 证据,而不是口头验收
- 要在状态里一眼看出预期外改动,并保留可重放的审计链
适合人员
- 编排多 Agent 编码任务的 DSH 插件与工作流作者
- 对提交可验证性有要求的团队技术负责人
- 需要约束模型 Git 操作面的 Agent 集成开发者