Pound79/specproof

specproof 是什麼？

Specproof 是一個專為 AI 代理（如 Codex 和 Claude Code）設計的技能，旨在解決 AI 生成測試與底層規格或實作之間的不一致問題。它透過導入 BDD 風格的 Gherkin 規格，並使用一個確定性的 SHA-256 引擎來計算規格文件的雜湊值。在持續整合（CI）流程中，Specproof 會自動比較規格文件的雜湊值與實際實作狀態，若檢測到規格、實作或功能之間的偏差（drift），就會標記出來，並通知開發團隊進行人工審查。這個技能還提供了 Playwright 和 Flutter 的測試範本，幫助快速建立可靠的測試框架。其核心價值在於將 AI 的產生能力與人類的判斷決策相結合，確保測試始終忠於原始規格，從而提高軟體品質與可信度。