Leanstral
Leanstral is a released agents and json / tool use model with open-source; evaluate it while provider pricing coverage matures.
Use it for
- Teams evaluating agents and json / tool use
Do not use it for
- Cost-sensitive launches that need sourced token pricing
- Vision or document-understanding workloads
- Teams that need a tracked hosted API route today
- Family
- Leanstral
- Released
- 2026-03-16
- Parameters
- 120B (6B active)
- Architecture
- Mixture of Experts
- Specialization
- math
- Openness
- Open source
- License
- Apache 2.0OSI-approvedCommercial use: permitted
- Training
- Pretrained
No tracked provider token pricing is available yet.
About
Leanstral is Mistral's Lean 4 formal-mathematics specialist. Official docs do not confirm a 120B parameter count.
Leanstral is an open-source model. The structured metadata tracks function calling and tool use. No headline benchmark score is tracked for Leanstral yet.
Top use-case fit: coding, agents, and build tasks
Agents
Included by capability and metadata signals in the decision map.
JSON / Tool use
Included by capability and metadata signals in the decision map.
Provider price ladder
No tracked provider token pricing is available for this model yet.
Capabilities
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.