Présentation de Lean Collab : Un Orchestrateur Multi-Agents pour les Tâches LLM de Longue Durée

Lean Collab est un orchestrateur open-source développé par Mutable State Inc., conçu pour gérer des tâches complexes et de longue durée généralement inadaptées aux modèles de langage de grande taille (LLM) à agent unique. L'orchestrateur décompose les tâches en composants gérables, les délègue à des sous-agents qui travaillent en parallèle et partagent leurs découvertes en temps réel.

Fonctionnalités principales

• Décomposition des tâches : L'agent orchestrateur décompose les tâches longues et complexes en sous-tâches plus petites pour les sous-agents.
• Sous-agents parallèles : Les sous-agents exécutent leurs tâches simultanément, accélérant ainsi les temps de traitement.
• Abonnement à l'état et à la progression des tâches : Suivez la progression de la tâche avec des mises à jour en temps réel, permettant des ajustements dynamiques si nécessaire.
• Partage intermédiaire en temps réel : Les découvertes intermédiaires entre les agents sont partagées en temps réel pour améliorer l'efficacité et la précision globale de la tâche.

Cette configuration a été testée sur des problèmes mathématiques complexes de niveau Putnam, mais s'applique également à la refactorisation de logiciels, à la création d'applications et à des tâches de recherche approfondies.

Installation et configuration

Les prérequis incluent l'installation de Lean 4 et de Mathlib. Configurez votre environnement en installant des outils comme Rust et en configurant le projet Lean avec les dépendances appropriées. Pour l'authentification, vous aurez besoin d'une clé API depuis ensue.dev. Des exemples de fichiers de configuration et des détails de configuration de l'environnement sont fournis dans la documentation source.

Pour un guide d'installation détaillé et le code source, il est recommandé de cloner le dépôt et de consulter le README pour les instructions de configuration et de déploiement de votre propre instance de Lean Collab.