Graphenium：AI編碼代理的本地信任層（Rust、Datalog、Salsa）

Graphenium是一個為AI編碼代理設計的本地信任層，旨在解決代理在程式碼庫導航和依賴信任方面的困難。AI代理在進行大規模程式碼變更時，常常過度讀取無關檔案、遺漏關鍵檔案、從名稱推斷關係，並且在未完全理解依賴的情況下進行修改。Graphenium透過構建緊湊的結構化記憶體，幫助代理回答五個關鍵問題：符號依賴什麼？什麼依賴該符號？哪些關係有原始碼支援，哪些只是推斷？代理在編輯前應讀取哪些檔案？編輯後必須驗證什麼？

Graphenium的核心功能包括信任感知架構圖、編輯前路徑查詢、編輯中工作區規劃和編輯後驗證與CI門控。信任感知架構圖提取檔案、模組、函式、方法、類、匯入、呼叫、使用、繼承、實現、測試、構建目標和依賴關係到本地圖中，併為每個關係提供提取器、解析狀態和置信度。代理可以針對已提取的關係進行規劃，將推斷的關係視為線索，而在遇到模糊的邊時停下來檢查原始碼。編輯前路徑查詢幫助代理解析目標符號、查詢呼叫者和下游消費者，選擇最安全的源支援路徑。編輯中工作區允許代理在編寫程式碼前宣告預期符號，後期與實際物理圖進行比較。編輯後驗證透過比較圖快照計算下游影響，生成驗證計劃，並強制執行信任策略，確保變更安全。

Graphenium完全本地執行，AST流水線無需API金鑰，原始碼僅在顯式配置語義提取時才會傳送到遠端服務。它適用於混合倉庫，目前支援Rust、Python、Go、JavaScript、TypeScript、Java、C、C++和C#。對於C#專案，Graphenium透過解析.sln和.csproj檔案獲得額外的構建邊界感知，將專案、程式集、名稱空間和專案引用作為第一類圖結構進行對映。

Graphenium透過MCP（模型上下文協議）整合到Claude Desktop、Cursor和CodeWhale等編碼工具中，為AI代理提供即時的程式碼圖查詢能力。專案採用MIT許可證，社群可透過GitHub Issues提供反饋，安全報告傳送至[email protected]，商業合作聯絡[email protected]。Graphenium的願景是成為AI生成程式碼變更的信任與驗證層，讓代理在每次編輯前都能檢查影響範圍並驗證更改的正確性。