EuniAI/Prometheus

解決的問題

Prometheus 的設計目標是超越簡單的原型生成，創造可驗證、可投入生產的軟體。它透過自動化軟體工程中複雜且長期的任務（如重現 bug、實作功能、導航大型多語言程式碼庫），解決「直覺編碼」（vibe coding）的不可靠性問題。

工作原理

該平台基於 LangGraph 狀態機建構分層式多代理系統，協調專業 AI 代理。它採用基於 Neo4j 的統一知識圖譜（使用 Tree-sitter 進行 AST 和語意表示），提供對整個程式碼庫的深度理解。工作流程被劃分為專用管道：

• Bug 管道：分類問題，於 Docker 隔離環境中重現 bug，並生成經過驗證的補丁。
• Feature 管道：分析功能需求，規劃實作方案，並生成程式碼（可選地包含回歸測試）。
• Question 管道：透過基於圖的語意搜尋與工具增強分析，回答關於程式碼庫的自然語言查詢。

適用對象

適用於希望利用自主 AI 代理自動化複雜程式碼庫維護與演進的軟體工程師與組織。

主要亮點

• 全流程自動化：實現完整的檢測-重現-修復-驗證（DRRV）循環，用於 bug 修復。
• 知識圖譜整合：使用程式碼的結構化語意表示，實現比標準 LLM 接口更優的跨檔案推理能力。
• 高性能量表現：在自動化軟體工程領域的 SWE-bench 排行榜上取得頂尖排名。
• 隔離執行：使用 Docker 容器確保生成補丁的測試與驗證過程安全且隔離。