Leanstral Models by MistralAI
1 model2026
Details
ResearcherMistralAI
LicenseApache 2.0OSI-approved
Commercial useCommercial use: permitted
Models1
Released2026
Capabilities
Function CallingAll models
Tool UseAll models
Links
WebsiteAbout
Mistral's Leanstral family of specialized open-source models focused on formal mathematics, proof engineering, and Lean 4 theorem proving using highly sparse MoE architectures.
Current Variants
Use-when guidance is based on each model's tracked capabilities, context window, release date, and replacement status.
1 in view
LeanstralCurrent
Use when the workload needs math, tool use, and function calling.
2026-03mathtool usefunction calling
| Model | Use when | Released | Signals | Status |
|---|---|---|---|---|
| Leanstral | Use when the workload needs math, tool use, and function calling. | 2026-03 | mathtool usefunction calling | Current |
Release Timeline
1 release group2026-03
1 current
Leanstral
Currentmathtool usefunction calling
Specifications(1 models)
| Model | Released | Parameters | Fn Calling | Tool Use |
|---|---|---|---|---|
| Leanstral | 2026-03 | 120B (6B active) | Yes | Yes |
Frequently Asked Questions
- What is Leanstral used for?
- Leanstral is used for math, agent workflows and tool use, and math-heavy prompts. The family description and listed model capabilities point to those workloads as the best fit.
- How does Leanstral compare to Ministral?
- Leanstral by MistralAI is strongest where you need math, while Ministral by MistralAI is the closest related family to check for vision and multimodal work. Leanstral has 1 listed variant, while Ministral reaches up to 32k context, so compare the specs and pricing tables before choosing a production model.
- Which Leanstral model should I use?
- If price is the main constraint, use the pricing table first because Leanstral does not have complete provider pricing in the local data. For the most capable/latest local choice, evaluate Leanstral with tool use and function calling.
