leanstral-1-5@eu
Creator unattributedChatunverified match
Leanstral 1.5 is an updated Lean 4 formal proof engineering model from Mistral AI, optimized for automated theorem proving and autoformalization. It has 119B total parameters with 6.5B active and supports a 256K token context window. It supports native function calling and structured output.
- Context
- 262K tokens
- Max output
- 32,768 tokens
- Released
- 2026-05-27
- Weights
- Closed
unknown/leanstral-1-5 · also seen as leanstral-1-5@eu
Specifications
Full facts as recorded, incl. what is unknown.
- Released
- 2026-05-27
- Weights
- Closed
- Input
- Text
- Output
- Text
- Context window
- 262,144 max across endpoints
- Max output
- 32,768
- Providers
- 0 + 1 gateway, not counted as providers
- Epoch Capabilities Index
- not evaluated
- Direct price range
- no comparable direct price
More details
- Last updated
- 2026-05-27
- Knowledge cutoff
Capabilities
Across all endpoints: supported if any endpoint supports it.
- Tool calling
- Parallel toolsunknown
- Structured output
- Reasoning
- Image input
- PDF input
- Audio input
- Audio outputunknown
- Video input
- Prompt cachingunknown
- Web searchunknown
- Computer useunknown
- System messagesunknown
- Assistant prefillunknown
- Temperatureunknown
- Streamingunknown
- Attachments
Endpoints
One row per provider and variant; gateways are listed separately.
Loading endpoints…
Cost calculator
Loading endpoints…
More from Unattributed
Newest Unattributed models in the catalogue. All Unattributed models
| Model | Released | Context | Listed price |
|---|---|---|---|
| Cat Jam | 2026-10-15 | 1.05M | unpriced |
| LL Alpha Free | 2026-10-15 | 262K | unpriced |
| Cat Jam Free | 2026-10-12 | 1.05M | unpriced |
| Clef Omni | 2026-10-09 | 65.5K | unpriced |
| Exo Free | 2026-10-06 | 1.05M | unpriced |
| Abliterated Large V2 | 2026-10-01 | 1M | from $3.00 |
| Clef | 2026-10-01 | 65.5K | unpriced |
| Clef Flash | 2026-10-01 | 24.6K | unpriced |
Heads up: prices are indicative list rates scraped from provider pricing pages; verify with the provider before relying on them. Report incorrect data for this model