Thursday, October 8, 2026 · No. 438Prices synced 1 hour ago
All·AI·Model

The AI Model Price Index

Leanstral 1.5

by Mistral · family leanstral · listed Jun 2026RTVW

An updated Lean 4 formal proof engineering model optimised for automated theorem proving and autoformalization. 119B total parameters, 6.5B active.

Current rates USD per 1M tokens

Inputfree
Outputfree
Cache read—
Cache write—

Against the market

Input price vs. maker flagships ($/1M tokens)
Leanstral 1.5Leanstral 1.5: free per 1M tokensfreeClaude Haiku 5.5Claude Haiku 5.5: $0.10 per 1M tokens$0.10DeepSeek V4 Flash Vision ExpDeepSeek V4 Flash Vision Exp: $0.15 per 1M tokens$0.15Qwen3.8 Omni FlashQwen3.8 Omni Flash: $0.15 per 1M tokens$0.15Mistral Large 4Mistral Large 4: $0.68 per 1M tokens$0.68Gemini 3.8 FlashGemini 3.8 Flash: $0.75 per 1M tokens$0.75GPT-6.1 SolGPT-6.1 Sol: $2.00 per 1M tokens$2.00Grok 4.7Grok 4.7: $2.00 per 1M tokens$2.00
Output price vs. maker flagships ($/1M tokens)
Leanstral 1.5Leanstral 1.5: free per 1M tokensfreeQwen3.8 Omni FlashQwen3.8 Omni Flash: $0.47 per 1M tokens$0.47Claude Haiku 5.5Claude Haiku 5.5: $0.50 per 1M tokens$0.50DeepSeek V4 Flash Vision ExpDeepSeek V4 Flash Vision Exp: $0.60 per 1M tokens$0.60Mistral Large 4Mistral Large 4: $2.09 per 1M tokens$2.09Gemini 3.8 FlashGemini 3.8 Flash: $3.75 per 1M tokens$3.75Grok 4.7Grok 4.7: $6.00 per 1M tokens$6.00GPT-6.1 SolGPT-6.1 Sol: $10.00 per 1M tokens$10.00

On the record

Model id
labs-leanstral-1-5-1
Context window
262K tokens
Max output
128K tokens
Input modalities
text, image
Output modalities
text
Reasoning
yes
Tool calls
yes
Open weights
yes
Knowledge cutoff
—
Released
2026-06-30
Last updated
2026-06-30
Provider docs
docs.mistral.ai/getting-started/models/

Back of the envelope

≈

← All Mistral listings