一句话

采访仓库而不是采访你，生成一个 .cursor/skills/verify-<app>/ 项目本地技能，让 agent 能像用户一样驱动真实应用并留下行为证据。

何时用

• 适合：项目没有脚本化手段启动、操作、取证地验证 app 行为；想让「在 app 里验证」成为任何 agent 可执行的步骤。
• 不适合：已有现成 harness；要验证的是并发性质而非用户路径（用 pstack-create-formal-verification-skill）。

怎么用

/create-verification-skill

1. 从代码答五件事：用户触点、本地启动方式、可编程驱动手段（现有 harness 优先，否则 CDP/PTY/HTTP）、可取证据、能否双开实例。
2. 写 SKILL.md：Launch（含就绪判据和 teardown）、Doctor（只读健康检查）、Drive（用仓库真实 selector）、Evidence（动作加结果加副作用）、Cleanup（只杀自己起的）、Helpers。
3. 建 features/ 功能地图：README 索引加每个功能一个文件，固定四个 H2。
4. 按生成的技能跑一遍全流程：启动、doctor、驱动一个功能、取证、清理，再确认证据没被清掉；失败先修技能。

产出

• .cursor/skills/verify-<app>/ 目录：SKILL.md、features/ 地图、可执行 helper 脚本；提交后全队共用。

要点与坑

• 生成的技能是写给冷启动 agent 的，不留占位符；checkout 本身起不来要先修或如实报告。
• dry-run 或测试模式要实际观察它跳过了什么，不能信名字。
• 后续用 pstack-maintain-verification-skill 防地图腐烂；技能路径写的是 .cursor/skills/，在 Devin CLI 可放在等价技能目录借鉴结构。

关联

• 下游：pstack-maintain-verification-skill · 同类：pstack-create-formal-verification-skill · 样例：poteto-verify-atlas
• 所属：00-pstack-概览