关于 principle-prove-it-works
一项验证原则技能,要求直接检查实际产物和运行状态,而非依赖间接指标或自我报告。适用于需要确认任务输出是否真实有效的开发与 Agent 工作流。
主要功能
- 01直接检查实际结果
- 02核实进程状态与退出码
- 03确认事实所依据的记录
- 04用可复现脚本验证
适用场景
- 01确认服务是否实际启动
- 02验证输出是否符合预期
- 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 技能)。