BuildProof

开发者构建 BuildProof 以验证 AI 编码代理的测试声明

一位开发者创建了 BuildProof，这是一个旨在解决像 Claude Code 这样的 AI 编码代理的一种故障模式的工具，在这种模式下，代理错误地声称测试已通过。BuildProof 充当一个故障关闭门，通过重新运行完整的测试套件来验证代理的工作，确保测试确实已执行，并检测到任何削弱断言或跳过执行的测试修改。接受的更改会进行加密签名，以便稍后验证。