mcpField
P
principle-prove-it-works

principle-prove-it-works

github.com/michael-denyer测试与质量3.6k892 次安装今天更新
代码仓库

关于 principle-prove-it-works

一项验证原则技能,要求直接检查实际产物和运行状态,而非依赖间接指标或自我报告。适用于需要确认任务输出是否真实有效的开发与 Agent 工作流。

主要功能

  1. 01直接检查实际结果
  2. 02核实进程状态与退出码
  3. 03确认事实所依据的记录
  4. 04用可复现脚本验证

适用场景

  1. 01确认服务是否实际启动
  2. 02验证输出是否符合预期
  3. 03检查状态变更是否真实落地

安装

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

$npx skills add https://github.com/michael-denyer/pstack-claude --skill principle-prove-it-works

安装后在 Claude Code 中输入/principle-prove-it-works确认已加载。

详细介绍

证明它有效

直接检查实际情况,验证每项任务的输出。不要根据代理指标、自我报告或“能编译”来推断。

原因: 未经验证的工作,正确性无从得知。间接验证(文件修改时间、输出是否最新、Agent 自我报告、缓存的截图)看似更省事,但错误推断造成的代价远高于直接检查源内容。

检查实际情况,而非代理指标:

  • 直接检查进程是否存活,不要通过派生状态间接判断
  • 读取实际值,不要读取缓存或派生的表示
  • 验证失败时,先怀疑观察方法,再怀疑系统
  • 报告成功(已合并、已发送、已启动)前,先读取实际状态和退出码。被截断的输出(| tail -1)和你自己的回显都不能证明任何事

既要验证结果,也要验证进程。正确结果可能出自故障进程,而只检查结果的评审无法发现问题:例如,某个条款是根据用户粘贴的内容重建的,而不是来自持久化记录;某项约束只是碰巧得到遵守,因为从未读取过相关文件。对于你依赖的每一项事实,都要指出它来自哪条记录,并确认该记录正是项目规则指定的记录。

红色是颜色,不是衡量标准。只有当失败内容正是你预期的分歧时,失败检查才能证明检测工具有效。异常、与非空字面量比较时得到空集合,以及真正的内容不匹配,都会显示红色,因此要引用断言的差异(Extra items in the right set),而不是断言本身(assert {...} == {...})。收敛探测应检查只有新产物才能产生的行为,而不是旧产物也会输出的标识字段。使用相同 SHA 重启,会让旧代码报告新的提交 SHA。

尽可能用脚本执行检查

最有力的证明,是通过确定性脚本重新执行同一项比较,而不是只凭一次目测。编写脚本并运行,将其输出保留为产物,让评审者可以重新运行,而不是只能相信你的说法。

让人能够看到该产物。只有在工作量较大或较复杂、需要让整个过程日后可审计时,才提交该产物,例如大型移植或迁移(show-me-your-work 技能)。

评论

支持 Markdown