SuperAPI AI 工具集

verify

通用与其它

查看项目

更新于 10-15 23:58

技能介绍

用途:verify 是构建者自有的预评审自检流程,用于证明一项已完成的改动能够启动、通过仓库护栏,并在真实界面上存活,然后再交给独立评审。它不决定是否发布,只报告是否准备好接受独立评审。

主要能力:区分本地护栏、聚焦回归检查、真实界面运行时证明、CI 与线上/部署证据等证明层,强调它们相关但不可互换。工作流包括:先运行确定性护栏(优先仓库内置入口,如 make verify、just verify、pnpm test、cargo test 或最接近的定向等价命令);再在真实界面验证(UI 用浏览器自动化并截图,API 用真实请求如 curl http://127.0.0.1:3000/health,CLI 运行已发布命令如 node dist/cli.js --help,state/config 验证往返、重启与配置启动路径,deploy/live 证明实际配置界面);在授权时自纠明显问题;探测相邻风险(主路径、至少一个失败路径或边界、失败路径是否返回可操作错误、重测配置/持久化/重启敏感行为);最后综合出 ready for review、needs more work 或 blocked 三种结论之一。

使用方式:开始前需定义被验证的确切改动与预期用户可见行为,决定是否需要单独评估者,加载目标仓库的 AGENTS.md、CLAUDE.md 或仓库规则,确认能启动并交互真实界面,定义证明边界,并选择能诚实证伪改动的最小检查集。输出采用紧凑要点:verdict、evidence、fixed during verify(仅当发生自纠)、unverified or gaps、next,页脚不超过 5 行。

适用场景:构建者完成改动后的预评审自检,覆盖 UI、API、CLI、状态/配置、部署/线上接线等真实界面。

限制:不决定是否发布;无稳定启动、冒烟或交互路径时应报告 blocked 并列出缺失前提;审计非本人编写的代码、diff、分支或 PR 属于独立评审工作;改动契约之外的过时 AGENTS.md、README、规格或仓库文档不在范围内,除非阻碍验证;若请求的证明界面不可用,应明确命名该边界而非用更弱检查替代。参考资料包括 references/verification.md、references/evidence-rules.md、references/simplification.md。