Mistral, Leanstral 공개 — Lean 4 기반 첫 오픈소스 코드 에이전트, 6B 활성 파라미터

Mistral AI 가 Lean 4 증명 보조 도구를 위한 오픈소스 코드 에이전트 Leanstral 을 출시했다. 6B 활성 파라미터의 희소 아키텍처로 설계되어 기존 폐쇄형 경쟁사 대비 비용 효율적이며, Apache 2.0 라이선스로 가중치와 평가 스위트 FLTEval 을 함께 공개한다. 현재 Mistral vibe 내 에이전트 모드와 무료 API 엔드포인트로 사용 가능하며, MCP 를 지원해 확장할 수 있다.

• #mistral
• #leanstral
• #lean-4
• #code-agent
• #open-source