針對AI編碼代理的意圖可尋址代碼

Causari 是一個全新的開源工具，旨在解決 AI 編碼代理中一個根本性問題：如何可靠地追蹤 AI 代理生成的每一行代碼的來源和意圖。傳統版本控制系統只記錄文本變更，而 Causari 更進一步，捕捉代理在代碼庫上採取的所有行動——不僅僅是更改的字節，還包括引導變更的提示、響應模型、讀取的文件以及背後的原因。

Causari 的核心創新在於其捕獲引擎，該引擎通過兩個獨立的觀察流（LLM 代理和文件系統監控器）運行，然後通過內容相關性將它們合併。這意味着即使代理不主動報告自己的行為，Causari 也能記錄其活動。用户只需將代理指向 Causari 的本地代理（例如設置 OPENAI_BASE_URL=http://127.0.0.1:4242），即可自動捕捉每個提示、完成標記和成本。

Causari 提供了一系列命令來查詢這些數據。例如，re why 可以回答特定代碼行是由哪個提示、模型和代理生成的；re trace 顯示完整的因果錐，包括所有間接貢獻的事件；re bisect 可以找出導致測試失敗的代理操作。這些功能使開發者能夠像詢問“為什麼”一樣輕鬆地調試 AI 生成代碼的問題。

除了記錄，Causari 還引入了技能（skill）概念。通過 re skill distill 命令，系統可以將驗證成功的操作模式壓縮為經過 Ed25519 數字簽名的可重用技能單元。這些技能可以在團隊中共享，信任通過簽名密鑰管理——未知簽名者的技能會被拒絕。代理在行動前可以調用這些技能，從而避免重複犯同樣的錯誤，提高效率並降低成本。

Causari 還支持 Crovia 密封，這是一種開放標準（IETF 草案）的加密收據，用於 AI 輸出。啓用 --seal 標誌後，每個完成都會獲得 Ed25519 簽名的收據，包含請求和響應的哈希鏈。任何人都可以離線驗證這些收據的真實性，無需服務器或 Causari 賬户。

最後，Causari 提供可驗證的 AI 來源證明（Proof），這是一個帶簽名的證書，彙總了倉庫的 AI 活動。用户可以在 README 中嵌入徽章，任何人都可以運行 re proof verify 來離線驗證證明的完整性。該項目採用 BSL 1.1 許可證，核心功能免費，商業使用（如託管驗證頁面）需要付費。

Causari 與代理無關，支持 Claude Code、Cursor、Cline 等。它旨在成為 AI 編碼時代的“git”，提供不可篡改的意圖和來源記錄。