Introducing Lean Collab: A Multi-Agent Orchestrator for Long-Running LLM Tasks

Lean Collab is an open-source orchestrator developed by Mutable State Inc., designed to handle complex, long-running tasks typically unsuitable for single-agent large language models (LLMs). The orchestrator breaks tasks down into manageable components, delegating them to sub-agents that work in parallel and share discoveries in real-time.

Key Features

• Task Decomposition: The orchestrator agent breaks down lengthy and intricate tasks into smaller assignments for sub-agents to handle.
• Parallel Sub-Agents: Sub-agents execute their tasks concurrently, speeding up processing times.
• Task State and Progress Subscription: Track the task's progress with real-time updates, allowing for dynamic adjustments as needed.
• Real-Time Intermediate Sharing: Intermediate discoveries among agents are shared in real-time to improve overall task efficiency and accuracy.

This setup has been tested on complex math problems at the Putnam level but also applies to software refactoring, app building, and comprehensive research tasks.

Installation and Setup

Prerequisites include Lean 4 and Mathlib installation. Configure your environment by installing tools like Rust and setting up the Lean project with appropriate dependencies. For authentication, you'll need an API key from ensue.dev. Sample configuration files and environment setup details are provided in the source documentation.

For a detailed setup walkthrough and source code, it's recommended to clone the repository and review the README for instructions on configuring and deploying your own instance of Lean Collab.