poteto 发布两个 Skill:让 agent 自建验证能力与功能地图自查代码
kieranklaassen · x · 2026-10-12
poteto(暨 pstack 作者)分享如何让编码 agent 写出更“能跑通”的代码:核心是给 agent 一个基础验证循环——让它像真实用户一样实际运行、操作和调试自己的作品,而不是只靠读代码。
他在 pstack 中加入了两个推荐所有人直接复制使用的 skills:
- /create-verification-skill:为你的项目生成一个 skill,教 agent 如何运行、控制和调试应用;同时生成所谓 feature map——从用户视角梳理应用所有功能及其入口,让 agent 能像真实用户一样导航使用,大幅提升自我验证能力。
- /maintain-verification-skill:作为每日自动化任务运行,保持 feature map 不过期(feature map 很快会过时)。
验证的目标是让 agent 产出某种“证据工件”,证明:1) 工作正确;2) 符合你的意图;3) 比 review 整个 PR 更容易审。有状态机 bug 场景甚至可以让 agent 用 TLA+ 建模验证。界面无论是 CLI/API/UI 都适用。
「编程与Agent」频道最新
- SubQ Snap 决策模型发布:384K 长上下文 2-3 秒出决策,百万 token 仅 5 美分 — ryanallred · 2026-10-13
- 发错一句「合并吧」,T3 Code 意外上线 ts-rust 八小时 — zeeg · 2026-10-13
- 开新项目别先定语言架构,让模型自己调研选型更优 — sytelus · 2026-10-13
- 空调遥控器坏了,GPT-6 一次写出自定义 IR 遥控 App — PrasoonPratham · 2026-10-13
- NVIDIA NURBS CAD 内核 SMLIB 开源,可直接接入 Claude 等 Agent — burhop · 2026-10-13
- 为什么“检查错误”是坏事:程序员 Jimmy Koppel 的反直觉论证 — jimmykoppel · 2026-10-13