开发者用 Grok 机器人审查 agent 计划：PASS/FAIL 判定且不许自查自签

alexcovo_eth · x · 2026-10-20

作者推出 SpudStack：一个基于 Grok 的机器人，用「pstack 方法」审查 AI agent 的工作计划，核心原则包括：要求提供可复跑的证明（proof you can re-run）、绝不让 agent 给自己的工作签字放行，每个结论只给 PASS、FAIL 或 PASS-WITH-NOTES 并附具体修改建议。文中还展示了 pstack 的快速迭代机制：版本从 0.15.26 自动升级到 0.15.28，本地已装副本无需重装即获得更新；新增 maintain-formal-verification-skill，在代码变更后维护项目的形式化证明，形式化验证默认采用 TLA+（无检查器时提供回退）；setup-pstack 现在提供形式化验证设置选项；sharpen 命令取消了对重写 prompt 的禁令，且无功能被移除。