Представляем Lean Collab: многопользовательский оркестратор для длительных задач LLM.

Lean Collab — это оркестратор с открытым исходным кодом, разработанный компанией Mutable State Inc., который предназначен для обработки сложных, долгосрочных задач, обычно неподходящих для моделей большого языка (LLM) с одним агентом. Оркестратор разбивает задачи на управляемые компоненты, делегируя их подагентам, которые работают параллельно и делятся находками в реальном времени.

Ключевые функции

• Декомпозиция задач: Оркестратор разбивает продолжительные и сложные задачи на более мелкие поручения, которые могут выполнять подагенты.
• Параллельные подагенты: Подагенты выполняют свои задачи одновременно, что ускоряет время обработки.
• Подписка на состояние и прогресс задач: Отслеживайте прогресс задачи с помощью обновлений в реальном времени, позволяя вносить динамические корректировки по мере необходимости.
• Обмен промежуточными результатами в реальном времени: Промежуточные находки между агентами обмениваются в реальном времени, чтобы повысить общую эффективность и точность задачи.

Эта структура была протестирована на сложных математических задачах на уровне Пута, но также применима к рефакторингу программного обеспечения, созданию приложений и проведению комплексных исследовательских задач.

Установка и настройка

Необходимыми условиями являются установка Lean 4 и Mathlib. Настройте свою среду, установив такие инструменты, как Rust, и организовав проект Lean с соответствующими зависимостями. Для аутентификации вам потребуется API-ключ от ensue.dev. Примеры файлов конфигурации и детали настройки среды предоставлены в документации источника.

Для детальной инструкции по настройке и исходному коду рекомендуется клонировать репозиторий и ознакомиться с файлом README для получения инструкций по конфигурации и развертыванию собственного экземпляра Lean Collab.