SuperAPI AI 工具集

prove-it

编程与开发

查看项目

更新于 10-15 21:38

技能介绍

用途:Prove It 是一个 Claude 技能,核心要求是在宣布任务完成前真正执行验证。它针对生成与执行之间的差异:模型能生成代码却不运行代码,其信心来自“这段代码看起来像能跑”,而非实际执行结果,因此容易在自信状态下给出错误结论。

主要能力:指导在哪些节点必须验证,包括代码改动(新函数、Bug 修复、重构、配置变更、构建/部署脚本)、各类修复声明(“已修复 Bug”“已解决错误”“已更新配置”)以及影响决策的事实性断言。提供了验证方式对照:新代码用测试输入运行;Bug 修复先复现原问题再确认已修复;函数改动调用并检查输出;配置改动重启服务并测试相关功能;构建脚本实际运行构建;API 端点发起请求;UI 改动描述用户应看到的结果。并给出常见验证模式:冒烟测试、回归检查、构建门禁、集成嗅探测试。

使用方式:先识别“完成宣言”类措辞(如“Done!”“That should work”“I've implemented…”)并停下,再按改动类型选择验证方法,实际执行命令,最后带证据报告,格式为说明改动内容、验证命令、预期结果与实际结果。文中示例命令包括 python -m pytest、python -c 调用函数、node -e 加载配置、python -m py_compile、npm run build、cargo check、npm run typecheck、curl 请求本地端点等。核对清单涵盖代码无语法错误、正常路径输出符合预期、边界情况(空值、null、边界)已处理、原问题不再复现、未引入新错误、构建通过。

适用场景:需要可靠交付的开发任务,尤其是修复、重构、配置与构建相关改动。

限制:该技能要求验证所需环境可访问;对于生产配置等无法安全测试的场景,文档建议明确标注“无法验证”并说明原因,改在预发布环境测试或由运维在部署后确认。具体安装命令与平台兼容信息暂未提供。