Pound79/specproof

specproof 是什么？

Specproof 是一款面向 AI 辅助开发流程的质量保障工具，专为解决 AI 生成代码与测试用例之间的一致性问题而设计。它通过在持续集成（CI）流程中引入基于 SHA-256 的确定性哈希引擎，自动检测 Gherkin 规范、实际代码实现以及功能特性之间随时间产生的偏差（即“漂移”）。当 AI 代理（如 Codex 或 Claude Code）自动编写或更新 Gherkin 场景时，Specproof 会生成不可变的哈希指纹；一旦代码库或功能需求发生变化导致哈希值不匹配，CI 环节会立即告警，提示人工审查。这种机制确保了 AI 生成的测试始终与最新实现保持同步，防止静默退化或过时测试导致的假阴性结果。该技能同时提供了 Playwright（Web 端）和 Flutter（移动端）的脚手架模板，方便开发者在主流框架中快速集成规范漂移检测。本质上，Specproof 充当了 AI 代理的“契约测试卫士”，让人类开发者聚焦于决策，而非重复验证测试的正确性。