mcpField
V
verify-claims

verify-claims

github.com/jimweller测试与质量39 次安装
代码仓库

关于 verify-claims

verify-claims 是一项开发技能,用于在报告结论前依据最新证据核验声明。它按声明类型提供检查步骤,并为回归测试给出红—绿—撤销—恢复流程。

主要功能

  1. 01按声明类型选择验证命令
  2. 02通过 VCS 差异检查子 Agent 结果
  3. 03回归测试红—绿—撤销—恢复流程
  4. 04依据规格逐项核对要求

适用场景

  1. 01在当前轮确认测试、Lint 或构建结果
  2. 02核对子 Agent 报告的变更
  3. 03证明回归测试能复现原始问题

安装

复制下面的命令,在终端中运行。

$npx skills add https://github.com/jimweller/clanker-skills --skill verify-claims

安装后在 Claude Code 中输入/verify-claims确认已加载。

详细介绍

STARTER_CHARACTER = 🧾

验证声明

通过证据证明声明的三种流程。每种流程都在提出声明之前运行,而非事后运行。

按声明类型选择验证命令

将声明对应到能够证明它的命令。在本轮中运行该命令。使用实际输出,而非对先前运行结果的记忆。

声明命令不足以证明
测试通过项目测试命令,完整测试套件或指定测试先前的运行结果、“应该能通过”
Linter 检查干净项目 linter 命令部分检查、推断
构建成功项目构建命令,退出码为 0Linter 通过、日志看起来没问题
Bug 已修复能复现原始症状的测试代码已更改、“看起来修好了”
回归测试有效红—绿—还原—恢复(见下文)测试通过一次
子 Agent 已完成版本控制系统差异加针对性复查子 Agent 自述
满足需求重新阅读规范,逐行检查清单测试通过

验证子 Agent 的结果

子 Agent 会在最终消息中报告成功。报告不是证据,差异才是。

子 Agent 返回结果后:

  1. 阅读子 Agent 的摘要
  2. 运行 git status 和 git diff,查看实际更改
  3. 如果子 Agent 声称测试通过,在本轮中运行测试命令
  4. 如果子 Agent 声称 Bug 已修复,在本轮中运行复现用例
  5. 只有在此之后,才接受结果并继续

子 Agent 在压力下会编造成功报告。应将报告视为有待验证的假设,而不是可以直接接受的事实。

回归测试的红—绿—还原—恢复流程

修复后编写的测试会立即通过。立即通过不能证明任何事情。要证明测试能捕获 Bug:

  1. 编写回归测试
  2. 在修复仍然存在时运行测试。预期:通过。
  3. 仅还原修复
  4. 运行测试。必须失败。
  5. 恢复修复。
  6. 运行测试。预期:通过。

如果第 4 步通过,说明测试没有触发 Bug。丢弃该测试并编写新测试。

按照测试驱动开发的顺序(先测试,后修复)时,无需执行此流程。这是针对顺序颠倒时的补救流程。

评论

支持 Markdown