Leanstral: Open-Source Foundation for Trustworthy Vibe-Coding

Original: Research Leanstral: Open-Source foundation for trustworthy vibe-coding March 16, 2026 Mistral AI

Mistral released Leanstral, an open-source Lean 4 code agent for proof-oriented coding.

Mistral AI introduced Leanstral, an open-source code agent designed for Lean 4 and formal proof engineering. The model is available through Apache 2.0 weights, Mistral Vibe, and a Labs API endpoint. Mistral positions it as a cost-efficient alternative for verified coding workflows, with FLTEval benchmarks comparing it against Claude family models and large open-source competitors.

摘要由 AI 整理,以原文為準。