Hugging Face's logo
mistralai 's Collections
Mistral Models
Specialist Models - Built with Forge
Mistral Large 4
Timestral
Shieldstral
Leanstral 1.5
Mistral Medium 3.5
Mistral Small 4
Voxtral
Ministral 3
Ministral 3 - Additional Checkpoints
Mistral × MTNRA
Devstral 2
Mistral Large 3
Speech Evals

Leanstral 1.5

An open-source code agent model designed for Lean 4.