Leanstral: Open-Source foundation for trustworthy vibe-coding
Source
mistral.ai
Date
Terms in this piece · Glossary
AI agent — An AI system that doesn't just answer once but works toward a goal in a loop — taking actions, reading the results, and deciding what to do next.
open weights — A model whose trained parameters are published for anyone to download and run — unlike API-only models you can access but never possess.
Why it matters
Leanstral is an open weightsA model whose trained parameters are published for anyone to download and run — unlike API-only models you can access but never possess.Full definition → (Apache 2.0) code AI agentAn AI system that doesn't just answer once but works toward a goal in a loop — taking actions, reading the results, and deciding what to do next.Full definition → for Lean 4 with 6B active parameters, trained to operate in real formal repositories. It offers a route to machine-checked proofs of generated code instead of manual review.
