ZhangHanDong/agent-spec

解決的問題

agent-spec 是一個「意圖編譯器」，旨在彌合人類需求與 AI 生成程式碼之間的差距。它透過將非結構化的人類請求（PRD、問題、對話等）轉換為可驗證的、機器可讀的 Task Contract，防止 AI 代理產生「幻覺」或偏離原始意圖。這確保了程式碼在被接受之前，已透過嚴格標準進行機械化驗證。

工作原理

此專案實作了一個從高階意圖到驗證程式碼的編譯流程：

1. 輸入：人類意圖以結構化需求（中間表示或 IR）的形式被捕獲。
2. 降階：這些需求被轉換為 Task Contract，定義了意圖、技術決策、邊界（可修改與不可修改的部分）以及完成標準（BDD 場景）。
3. 實作：AI 代理根據這些合約實作程式碼。
4. 驗證：使用 cargo test、linting、結構檢查等工具，透過無模型的決定性後端驗證實作，確保程式碼符合合約要求。
5. 活躍追蹤：系統追蹤需求是否隨時間保持遵守或被違反。

適用對象

主要面向使用 AI 代理（如 Claude Code、Cursor 或 Codex）自動化編碼任務，且需要對 AI 生成變更進行嚴格治理、可追溯性與機械化驗證的開發者與團隊。

核心亮點

• 決定性驗證：AI 用於起草與編碼，但驗證門檻是無模型且決定性的。
• 任務合約：支援英文與中文的專用 DSL，用於定義邊界與 BDD 場景。
• 顯式測試綁定：將特定 BDD 場景直接連結至程式碼庫中的實際測試函數。
• 代理技能：包含為流行 AI 工具預建的撰寫、估算與意圖編譯技能。
• 計畫生成：為 AI 代理生成自包含的提示，包含合約、程式碼庫上下文與拓撲排序的任務草圖。