Mistral ships Leanstral 1.5, a free, open model built for formal verification

7:30 AM · July 14, 2026

Mistral AI released Leanstral 1.5, a free model licensed under Apache 2.0 with 6 billion active parameters, according to the company's own newsroom. The release is aimed specifically at formal verification — tasks that require proving mathematical or logical statements with rigor, rather than the general-purpose chat and coding tasks most frontier model releases target. Leanstral 1.5 is fully open-sourced and available both through Hugging Face and a free API tier, continuing Mistral's strategy of competing on open, permissively licensed access rather than trying to match OpenAI, Anthropic, or Google on raw frontier capability. The release is a comparatively small, narrow one next to the frontier model launches dominating the week's headlines, but it reflects Mistral's continued bet that specialized, freely available models can carve out real developer adoption even as the largest labs concentrate on general-purpose scale.