リーンコラブの紹介：長時間実行LLMタスクのためのマルチエージェントオーケストレーター

Lean Collabは、Mutable State Inc.によって開発されたオープンソースのオーケストレーターで、通常は単一エージェントの大規模言語モデル（LLM）には適さない複雑で長時間実行されるタスクを処理するように設計されています。このオーケストレーターはタスクを管理可能なコンポーネントに分解し、それらを並列で作業し、発見をリアルタイムで共有するサブエージェントに委任します。

主な機能

• タスク分解: オーケストレーターエージェントは、長く複雑なタスクを小さな作業に分解し、サブエージェントが処理できるようにします。
• 並列サブエージェント: サブエージェントはタスクを同時に実行し、処理時間を短縮します。
• タスク状態と進捗のサブスクリプション: リアルタイムの更新でタスクの進捗を追跡し、必要に応じて動的な調整を行えます。
• リアルタイム中間共有: エージェント間の中間的な発見はリアルタイムで共有され、全体的なタスクの効率と精度を向上させます。

この仕組みは、Putnamレベルの複雑な数学問題でテストされていますが、ソフトウェアのリファクタリング、アプリ構築、包括的な研究タスクにも適用できます。

インストールとセットアップ

前提条件として、Lean 4とMathlibのインストールが必要です。Rustなどのツールをインストールし、適切な依存関係でLeanプロジェクトを設定して環境を構成します。認証には、ensue.devからのAPIキーが必要です。サンプルの設定ファイルと環境セットアップの詳細は、ソースドキュメントに記載されています。

詳細なセットアップ手順とソースコードについては、リポジトリをクローンし、READMEを参照して独自のLean Collabインスタンスの設定とデプロイに関する指示を確認することをお勧めします。