EuniAI/Prometheus

何を解決するか

Prometheusは、単なるプロトタイプ生成を越えて、検証可能で本番環境対応のソフトウェアを構築することを目的としています。『ビブコーディング』の信頼性の低さを克服し、バグの再現、機能の実装、大規模で多言語のコードベースのナビゲーションなど、複雑で長期的なソフトウェアエンジニアリングタスクを自動化します。

動作方法

このプラットフォームは、LangGraphステートマシンに基づく階層的なマルチエージェントシステムを使用して、専門的なAIエージェントを調整します。Tree-sitterによるASTおよび意味的表現を用いたNeo4j駆動の統合知識グラフを活用し、リポジトリ全体の深い理解を提供します。ワークフローは専門的なパイプラインに分かれています：

• バグパイプライン：問題を分類し、Dockerで隔離された環境でバグを再現し、検証済みのパッチを生成します。
• 機能パイプライン：機能要件を分析し、実装計画を立て、オプションでリグレッションテスト付きのコードを生成します。
• 質問パイプライン：グラフベースの意味的検索とツール補完分析を用いて、コードベースに関する自然言語クエリに回答します。

対象ユーザー

複雑なリポジトリの保守と進化を自律的なAIエージェントで自動化したいソフトウェアエンジニアや組織向けです。

主な特徴

• フルサイクル自動化：バグ修正の完全な検出・再現・修復・検証（DRRV）ループを実装します。
• 知識グラフ統合：コードの構造化された意味的表現を使用し、標準のLLMインターフェースよりも優れたファイル間推論を可能にします。
• 高いパフォーマンス：自動ソフトウェアエンジニアリング分野でSWE-benchリーダーボードでトップランクを達成しました。
• 隔離実行：Dockerコンテナを使用して、生成されたパッチのテストと検証を安全かつ隔離された環境で実行します。