Mistral AI·· 2026-03-17sélectionAI Score68
Mistral AI publie Leanstral, agent de code open source pour Lean 4
Leanstral: Open-Source foundation for trustworthy vibe-coding
AI Introduction
Mistral AI publie Leanstral, présenté comme le premier agent de code open source conçu pour Lean 4。
Raison de la recommandation
Leanstral est publié en open source avec des poids Apache 2.0 et un point d'accès API, ce qui permet de comparer le coût et la performance face aux agents de codage fermés.
Source :Mistral AI · mistral.ai