Shepherd: 함수형 메타 에이전트 프레임워크 — 포크·재생 5x 빠르고 프롬프트 캐시 재사용 95% 이상

Shepherd는 메타 에이전트가 타겟 에이전트를 함수처럼 조작할 수 있게 하는 함수형 프로그래밍 모델로, Lean에서 핵심 연산이 기계적으로 증명되었습니다. Git과 유사한 실행 트레이스에 모든 상호작용을 기록해 과거 상태를 포크·재생할 수 있으며, Docker 대비 5배 빠른 포크 속도와 95% 이상의 프롬프트 캐시 재사용률을 달성했습니다. CooperBench에서 실시간 감독이 pair coding 통과율을 28.8%에서 54.7%로 높였고, 반사실적 메타 최적화에서 4개 벤치마크에서 최대 11포인트 향상 및 58% 시간 단축, Tree-RL 훈련에서 TerminalBench-2 성능을 34.2%에서 39.4%로 개선했습니다. 단, Lean 증명은 특정 연산에 국한되며 전체 시스템의 정확성을 완전히 보장하지는 않습니다.

• #meta-agent
• #functional-programming
• #lean
• #fork
• #replay