Presentamos Lean Collab: Un Orquestador de Múltiples Agentes para Tareas de LLM de Larga Duración.

Lean Collab es un orquestador de código abierto desarrollado por Mutable State Inc., diseñado para manejar tareas complejas y prolongadas que generalmente no son adecuadas para modelos de lenguaje grande (LLMs) de un solo agente. El orquestador descompone las tareas en componentes manejables, delegándolas a subagentes que trabajan en paralelo y comparten descubrimientos en tiempo real.

Características Clave

• Descomposición de Tareas: El agente orquestador divide tareas largas y complejas en asignaciones más pequeñas para que los subagentes las manejen.
• Subagentes Paralelos: Los subagentes ejecutan sus tareas de manera concurrente, acelerando los tiempos de procesamiento.
• Suscripción al Estado y Progreso de Tareas: Realiza un seguimiento del progreso de la tarea con actualizaciones en tiempo real, permitiendo ajustes dinámicos según sea necesario.
• Compartición Intermedia en Tiempo Real: Los descubrimientos intermedios entre agentes se comparten en tiempo real para mejorar la eficiencia y precisión general de la tarea.

Esta configuración ha sido probada en problemas matemáticos complejos a nivel Putnam, pero también se aplica a la refactorización de software, construcción de aplicaciones y tareas de investigación exhaustiva.

Instalación y Configuración

Los requisitos previos incluyen la instalación de Lean 4 y Mathlib. Configura tu entorno instalando herramientas como Rust y estableciendo el proyecto Lean con las dependencias apropiadas. Para la autenticación, necesitarás una clave API de ensue.dev. Se proporcionan archivos de configuración de muestra y detalles sobre la configuración del entorno en la documentación fuente.

Para un recorrido detallado sobre la configuración y el código fuente, se recomienda clonar el repositorio y revisar el README para obtener instrucciones sobre cómo configurar y desplegar tu propia instancia de Lean Collab.