Leanstral
Released
2026-03-16
Last refreshed
2026-05-14
Status
Researched 168d ago
Open sourceCommercial use: permittedAgentsJSON / Tool use
Leanstral is a released agents and json / tool use model with open-source; evaluate it while provider pricing coverage matures.
MistralAI releases · 25 in the last 12 months · this family litChangelog →
Specifications
- Family
- Leanstral
- Released
- 2026-03-16
- Parameters
- 120B (6B active)
- Architecture
- Mixture of Experts
- Specialization
- math
- Openness
- Open source
- License
- Apache 2.0OSI-approvedPermitted
- Weights
- Unknown
- Code
- Unknown
- Training
- Pretrained
Created by
Pricing
No tracked provider pricing is available yet.
About
Leanstral is Mistral's Lean 4 formal-mathematics specialist. Official docs do not confirm a 120B parameter count.
Providers
No active provider routes are tracked for this model yet.
Capabilities
JSON / Tool use
Benchmark peer barsfor Agents
No task-mapped benchmark peers are available for this model yet.
Migration checks
No linked migration route is available for this model yet.