关于 verify-claims
verify-claims 是一项开发技能,用于在报告结论前依据最新证据核验声明。它按声明类型提供检查步骤,并为回归测试给出红—绿—撤销—恢复流程。
主要功能
- 01按声明类型选择验证命令
- 02通过 VCS 差异检查子 Agent 结果
- 03回归测试红—绿—撤销—恢复流程
- 04依据规格逐项核对要求
适用场景
- 01在当前轮确认测试、Lint 或构建结果
- 02核对子 Agent 报告的变更
- 03证明回归测试能复现原始问题
安装
复制下面的命令,在终端中运行。
$
npx skills add https:/ / github.com/ jimweller/ clanker-skills --skill verify-claims安装后在 Claude Code 中输入/verify-claims确认已加载。
详细介绍
STARTER_CHARACTER = 🧾
验证声明
通过证据证明声明的三种流程。每种流程都在提出声明之前运行,而非事后运行。
按声明类型选择验证命令
将声明对应到能够证明它的命令。在本轮中运行该命令。使用实际输出,而非对先前运行结果的记忆。
| 声明 | 命令 | 不足以证明 |
|---|---|---|
| 测试通过 | 项目测试命令,完整测试套件或指定测试 | 先前的运行结果、“应该能通过” |
| Linter 检查干净 | 项目 linter 命令 | 部分检查、推断 |
| 构建成功 | 项目构建命令,退出码为 0 | Linter 通过、日志看起来没问题 |
| Bug 已修复 | 能复现原始症状的测试 | 代码已更改、“看起来修好了” |
| 回归测试有效 | 红—绿—还原—恢复(见下文) | 测试通过一次 |
| 子 Agent 已完成 | 版本控制系统差异加针对性复查 | 子 Agent 自述 |
| 满足需求 | 重新阅读规范,逐行检查清单 | 测试通过 |
验证子 Agent 的结果
子 Agent 会在最终消息中报告成功。报告不是证据,差异才是。
子 Agent 返回结果后:
- 阅读子 Agent 的摘要
- 运行
git status和git diff,查看实际更改 - 如果子 Agent 声称测试通过,在本轮中运行测试命令
- 如果子 Agent 声称 Bug 已修复,在本轮中运行复现用例
- 只有在此之后,才接受结果并继续
子 Agent 在压力下会编造成功报告。应将报告视为有待验证的假设,而不是可以直接接受的事实。
回归测试的红—绿—还原—恢复流程
修复后编写的测试会立即通过。立即通过不能证明任何事情。要证明测试能捕获 Bug:
- 编写回归测试
- 在修复仍然存在时运行测试。预期:通过。
- 仅还原修复
- 运行测试。必须失败。
- 恢复修复。
- 运行测试。预期:通过。
如果第 4 步通过,说明测试没有触发 Bug。丢弃该测试并编写新测试。
按照测试驱动开发的顺序(先测试,后修复)时,无需执行此流程。这是针对顺序颠倒时的补救流程。
评论
支持 Markdown