用途
该技能用于“证明”某项声明,或在没有明确声明时证明用户最近一次请求的真实状态。它强调以真实运行面上的当前证据为准,而不是仅凭代码阅读或静态推断。
主要能力
- 定义可观察的通过标准(pass criteria)。
- 在真实用户面或权威数据源上执行验证:打开浏览器页面、调用接口、运行命令、回读提供方数据(如 Stripe、Convex、Cloudflare、Lumail)。
- 采集当前证据:
- 视觉证据:聊天中展示页面或状态的截图。
- 非视觉证据:命令或请求、其输出、错误、状态码以及权威回读结果。
- 对每条标准标记 PASS 或 NOT PROVEN。
- 区分证据层级:本地或静态检查、提供方回读、已部署或公开产物、已认证的实时行为。
- 后续任何变更后,重跑受影响标准并替换证据,避免使用过期证据。
使用方式
当用户要求验证、证明、检查、测试某项变更、修复、行为、部署或外部状态时调用。先明确要证明的声明,再列出可观察的通过标准,然后逐项在真实面上执行并记录证据,最后汇总判定。
适用场景
- 验证修复是否真正生效
- 确认部署产物在公开环境中的表现
- 检查第三方服务(如支付、数据库、CDN、邮件服务)中的实际状态
- 需要以当前证据而非静态检查结论作为通过依据的验收场景
限制
静态检查(类型检查、lint、构建、测试)仅作为运行时证明的辅助,不能替代运行时证明。只有所有标准都具备当前证据时才可判定 PASS;否则必须判定 BLOCKED: NOT PROVEN 并指出确切阻塞项。资料未提供具体安装命令、收费方式或平台限制等更多细节。