Leanstral
Released
2026-03-16
Last refreshed
2026-05-14
Status
Researched 125d 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.
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
Specifications
- 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
- Weights
- Unknown
- Code
- Unknown
- Training
- Pretrained
Created by
Pricing
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.
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
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.