dirac-run/dirac

解決的問題

Dirac 解決了在複雜且長時間執行的軟體工程任務中，AI 編碼代理的低效率問題。它減少令牌開銷，最小化使用者的「審核疲勞」，並透過提供更穩健的自主執行基礎設施，防止模型在多日目標中產生偏移。

工作原理

Dirac 作為一個可整合至 VS Code、終端或任何 Agent Client Protocol (ACP) 相容編輯器中的代理運作。它使用多種專用機制來提升精確度與效率：

• 哈希錨定編輯：使用穩定的行錨協定，而非搜尋與取代，使檔案編輯更精確。
• AST 檢查與操作：利用語法樹來概述檔案或在程式碼庫中重命名符號，無需讀取每一行文字。
• 實用模型：將低複雜度任務（如提交訊息或權限檢查）導向至成本較低的模型，以節省成本。
• 目標模式：允許使用者設定高階目標，代理將自主追求該目標，僅在必要時暫停。
• 子代理：並行部署多個代理以研究與驗證工作。
• 自我擴展：可透過 /new-tool 命令建立自己的型別化工具，以適應特定工作流程。

適用對象

專為需要處理複雜重構、長期功能開發，以及跨多種 IDE 與終端環境的大規模程式碼庫變更的軟體工程師設計。

主要亮點

• 多接口支援：支援 VS Code、Open VSX、CLI 和 ACP 客戶端（如 Zed 和 JetBrains）。
• 模型無關：支援數十個提供者和數百個模型。
• 並行操作：可在一次模型回應中批量處理多個讀取、搜尋與編輯操作。
• 上下文管理：具備上下文壓縮與還原點功能，以在長時間任務中維持連續性。
• 自動權限：使用實用模型根據自然語言策略自動批准請求。