poteto 发布两个 Skill:让 agent 自建验证能力与功能地图自查代码

kieranklaassen · x · 2026-10-12

poteto(暨 pstack 作者)分享如何让编码 agent 写出更“能跑通”的代码:核心是给 agent 一个基础验证循环——让它像真实用户一样实际运行、操作和调试自己的作品,而不是只靠读代码。

他在 pstack 中加入了两个推荐所有人直接复制使用的 skills:

验证的目标是让 agent 产出某种“证据工件”,证明:1) 工作正确;2) 符合你的意图;3) 比 review 整个 PR 更容易审。有状态机 bug 场景甚至可以让 agent 用 TLA+ 建模验证。界面无论是 CLI/API/UI 都适用。

原文链接 →

「编程与Agent」频道最新

更多「编程与Agent」频道 AI 资讯 →