Leanstral 1.5 pricing and specs
An updated Lean 4 formal proof engineering model optimised for automated theorem proving and autoformalization. 119B total parameters, 6.5B active.
Leanstral 1.5 price per 1M tokens
| Type | ₽ / 1M | $ / 1M |
|---|---|---|
| Input tokens | 0 ₽ | $0 |
| Output tokens | 0 ₽ | $0 |
Prices in rubles as of 08.10.2026 at the CBR rate: 1 $ = 85.48 ₽.
Leanstral 1.5 specs and limits
- Context window
- 262K
- Max output
- 128K
- Input
- text, image
- Output
- text
- Family
- leanstral
- Released
- 2026-06-30
- Updated
- 2026-06-30
- Also known as
- mistral leanstral 1.5, mistral ai leanstral 1.5, mistralai leanstral 1.5, le chat leanstral 1.5, mistral api leanstral 1.5, mistral llm leanstral 1.5
What Leanstral 1.5 can do
- ✓Reasoning
- ✓Tool calling
- ✓Structured output
- ✓Attachments / files
- ✓Vision (images)
- ✓Temperature control
- ✓Open weights
Frequently asked questions
How much does the Leanstral 1.5 API cost?
Mistral lists a zero token price for Leanstral 1.5: both input and output are marked free in the price feed, so converting to rubles at the Bank of Russia rate of 85.48 ₽ per dollar changes nothing. That covers token billing only — quotas, request limits and access terms are set by the provider.
How many tokens does Leanstral 1.5 hold?
The Leanstral 1.5 context window is 262K tokens (262,144). Everything shares that budget: the system prompt, the dialogue history, attached files and the answer the model writes. The figure comes from the Mistral model card as of October 2026.
What are the Leanstral 1.5 limits?
The context window is 262K tokens (262,144) and a single response is capped at 128K tokens, so longer output has to be generated in parts. Rate limits are set by Mistral per account and depend on your plan rather than on the model, so they are not listed here.
Can Leanstral 1.5 reason?
Yes, Leanstral 1.5 declares a reasoning mode: it works through intermediate steps before it answers. Those steps add output tokens, so a call with a long reasoning chain costs more and takes longer than a plain completion. Capabilities declared for the model: reasoning, tool calling, image input, structured output.
What capabilities does Leanstral 1.5 support?
The declared capabilities of Leanstral 1.5 are: reasoning, tool calling, image input, structured output. It accepts text, images as input, and every attachment consumes tokens from the shared context window of 262K tokens. The list comes from the Mistral model card and is refreshed with the catalog as of October 2026.
Does Leanstral 1.5 have open weights?
Yes, Leanstral 1.5 ships with open weights, so it can be downloaded and served on your own hardware instead of being used only through the Mistral API. What you may do with it is set by the license shown on the card. Catalog prices cover hosted API access.