린 콜랩 소개: 장기 실행 LLM 작업을 위한 다중 에이전트 오케스트레이터

Lean Collab는 Mutable State Inc.에서 개발한 오픈 소스 오케스트레이터로, 단일 에이전트 대규모 언어 모델(LLM)에 적합하지 않은 복잡하고 장기 실행 작업을 처리하도록 설계되었습니다. 이 오케스트레이터는 작업을 관리 가능한 구성 요소로 분해하여 병렬로 작업하고 실시간으로 발견 사항을 공유하는 하위 에이전트에 위임합니다.

주요 기능

• 작업 분해: 오케스트레이터 에이전트가 길고 복잡한 작업을 하위 에이전트가 처리할 수 있는 더 작은 과제로 분해합니다.
• 병렬 하위 에이전트: 하위 에이전트가 작업을 동시에 실행하여 처리 시간을 단축합니다.
• 작업 상태 및 진행 상황 구독: 실시간 업데이트로 작업 진행 상황을 추적하여 필요에 따라 동적으로 조정할 수 있습니다.
• 실시간 중간 결과 공유: 에이전트 간 중간 발견 사항이 실시간으로 공유되어 전체 작업 효율성과 정확성을 향상시킵니다.

이 구성은 Putnam 수준의 복잡한 수학 문제에서 테스트되었지만 소프트웨어 리팩토링, 앱 구축 및 포괄적인 연구 작업에도 적용됩니다.

설치 및 설정

필수 조건으로 Lean 4 및 Mathlib 설치가 포함됩니다. Rust와 같은 도구를 설치하고 적절한 종속성으로 Lean 프로젝트를 설정하여 환경을 구성하세요. 인증을 위해서는 ensue.dev의 API 키가 필요합니다. 샘플 구성 파일 및 환경 설정 세부 정보는 소스 문서에 제공됩니다.

자세한 설정 단계 및 소스 코드를 보려면 저장소를 복제하고 Lean Collab의 자체 인스턴스를 구성 및 배포하는 방법에 대한 지침을 위해 README를 검토하는 것이 좋습니다.