Apresentando o Lean Collab: Um Orquestrador Multiagente para Tarefas de LLM de Longa Duração

Lean Collab é um orquestrador de código aberto desenvolvido pela Mutable State Inc., projetado para lidar com tarefas complexas e de longa duração, geralmente inadequadas para modelos de linguagem grandes (LLMs) de agente único. O orquestrador divide as tarefas em componentes gerenciáveis, delegando-os a subagentes que trabalham em paralelo e compartilham descobertas em tempo real.

Principais Recursos

• Decomposição de Tarefas: O agente orquestrador divide tarefas longas e intrincadas em atribuições menores para os subagentes lidarem.
• Subagentes Paralelos: Os subagentes executam suas tarefas simultaneamente, acelerando os tempos de processamento.
• Assinatura de Estado e Progresso da Tarefa: Acompanhe o progresso da tarefa com atualizações em tempo real, permitindo ajustes dinâmicos conforme necessário.
• Compartilhamento Intermediário em Tempo Real: Descobertas intermediárias entre os agentes são compartilhadas em tempo real para melhorar a eficiência e precisão geral da tarefa.

Esta configuração foi testada em problemas matemáticos complexos no nível Putnam, mas também se aplica à refatoração de software, construção de aplicativos e tarefas de pesquisa abrangentes.

Instalação e Configuração

Os pré-requisitos incluem a instalação do Lean 4 e do Mathlib. Configure seu ambiente instalando ferramentas como Rust e configurando o projeto Lean com as dependências apropriadas. Para autenticação, você precisará de uma chave de API do ensue.dev. Arquivos de configuração de exemplo e detalhes de configuração do ambiente são fornecidos na documentação de origem.

Para um passo a passo detalhado de configuração e código-fonte, é recomendado clonar o repositório e revisar o README para obter instruções sobre como configurar e implantar sua própria instância do Lean Collab.