Einführung von Lean Collab: Ein Multi-Agenten-Orchestrator für langanhaltende LLM-Aufgaben.

Lean Collab ist ein Open-Source-Orchestrator, der von Mutable State Inc. entwickelt wurde und dafür konzipiert ist, komplexe, langfristige Aufgaben zu bewältigen, die typischerweise für große Sprachmodelle (LLMs) mit einem einzigen Agenten ungeeignet sind. Der Orchestrator zerlegt Aufgaben in handhabbare Komponenten und delegiert diese an Unteragenten, die parallel arbeiten und Entdeckungen in Echtzeit teilen.

Hauptmerkmale

• Aufgabenzerlegung: Der Orchestrator-Agent zerlegt umfangreiche und komplexe Aufgaben in kleinere Aufträge, die von Unteragenten bearbeitet werden.
• Parallele Unteragenten: Unteragenten führen ihre Aufgaben gleichzeitig aus, was die Verarbeitungszeiten verkürzt.
• Aufgabenstatus und Fortschrittsabonnement: Verfolgen Sie den Fortschritt der Aufgabe mit Echtzeit-Updates, die dynamische Anpassungen nach Bedarf ermöglichen.
• Echtzeit-Teilen von Zwischenständen: Zwischenleistungen der Agenten werden in Echtzeit geteilt, um die Gesamteffizienz und Genauigkeit der Aufgabe zu verbessern.

Dieses Setup wurde an komplexen Mathematikproblemen auf Putnam-Niveau getestet, gilt jedoch auch für Software-Relaunchs, App-Entwicklung und umfassende Forschungsaufgaben.

Installation und Einrichtung

Voraussetzungen sind die Installation von Lean 4 und Mathlib. Konfigurieren Sie Ihre Umgebung, indem Sie Tools wie Rust installieren und das Lean-Projekt mit den entsprechenden Abhängigkeiten einrichten. Für die Authentifizierung benötigen Sie einen API-Schlüssel von ensue.dev. Beispielkonfigurationsdateien und Details zur Einrichtung der Umgebung sind in der Quelldokumentation enthalten.

Für eine detaillierte Anleitung zur Einrichtung und den Quellcode wird empfohlen, das Repository zu klonen und die README für Anweisungen zur Konfiguration und Bereitstellung Ihrer eigenen Instanz von Lean Collab zu prüfen.