Leanstral: Open-Source foundation for trustworthy vibe-coding | Mistral AI
Leanstral est un agent de code open-source révolutionnaire conçu pour Lean 4, capable de générer du code et de prouver formellement son implémentation. Il surmonte les limites de l’ingénierie logicielle en minimisant le besoin d'examen humain, tout en offrant une efficacité supérieure par rapport aux autres modèles open-source. Leanstral est optimisé pour les tâches d'ingénierie de preuves, avec une architecture peu dense permettant une performance élevée et des coûts réduits. Il est accessible via l'API et intégré directement dans Mistral Vibe pour une utilisation immédiate.
