Mistral AI

Key Terms

• Vibe - Mistral AI's unified agent for long-horizon work and coding tasks. Formerly "Le Chat," rebranded May 28, 2026. Available via web, mobile, CLI, and IDE. Source: Mistral AI – Vibe
• Mistral Medium 3.5 - Mistral's flagship 128B dense model with a 256K context window, open weights under a modified MIT license. Scores 77.6% on SWE-Bench Verified. API: $1.50/$7.50 per MTok. Source: Mistral AI – Mistral Medium 3 5 26 04
• Codestral - Specialist code completion model (Premier) for FIM (Fill-in-the-Middle) completion and code generation. API: $0.30/$0.90 per MTok. Source: Mistral AI – Pricing
• Devstral 2 - Open-weight agentic coding model for autonomous software engineering. API: $0.40/$2.00 per MTok. Deprecated May 22, 2026; retires July 31, 2026. Still listed on the pricing page as of June 30. Source: Mistral AI – Pricing
• Leanstral 1.5 - A Labs (experimental) Lean 4 formal proof engineering model "optimised for automated theorem proving and autoformalization." 119B total parameters, 6.5B active (sparse), 256K context. Endpoint labs-leanstral-1-5. Price: $0 (free during a limited Labs feedback period). Released June 30, 2026; succeeds Leanstral (v2603), which was deprecated May 22. Source: Mistral AI – Leanstral 1 5 26 06
• Mistral OCR 4 - Mistral's latest document extraction and understanding model (Premier). Launched June 23, 2026. $4/1,000 pages (standard), $2/1,000 pages (Batch API), $5/1,000 pages (Document AI). Successor to OCR 3. Source: Mistral AI – Ocr 4
• Teleport - Feature that moves a live Vibe CLI session between local terminal and cloud, keeping history and approvals intact. Source: Mistral AI – Pricing
• PAYG (Pay-as-you-go) - Once included plan usage is exhausted, you continue at API rates. Source: Mistral AI – Pricing
• Labs - Mistral's designation for experimental models (e.g., Leanstral 1.5, Devstral Small 2) that are kept accessible to gather feedback and are not production-stable. Source: Mistral AI – Labs

Latest Changes

Changes since the 2026-05 report.

• New model (Labs): Leanstral 1.5 launched June 30. An updated Lean 4 formal proof engineering model for automated theorem proving and autoformalization, 119B total parameters with 6.5B active, 256K context, free via the labs-leanstral-1-5 endpoint. It replaces the previous production Leanstral (v2603), which was deprecated May 22. Source: Mistral AI – Leanstral 1 5 26 06
• New model: Mistral OCR 4 launched June 23. Described as a state-of-the-art document intelligence model. Priced at $4/1,000 pages (standard), $2/1,000 pages (Batch API), and $5/1,000 pages (Document AI). It supersedes OCR 3 (which the May report listed at $2/$3 per 1,000 pages). Sources: Mistral AI – Ocr 4 , Mistral AI – Pricing
• API price change: Mistral Small 4 now $0.15/$0.60 per MTok. The pricing page lists Mistral Small 4 at $0.15 input / $0.60 output per MTok, versus the $0.10/$0.30 the 2026-05 report recorded (a 50% input and 100% output increase). Mistral published no price-change announcement, so the effective date is undisclosed. Source: Mistral AI – Pricing
• Engineering update: "Bringing more control over your connectors" (June 24). An engineering post on connector controls was published June 24, 2026. Source: Mistral AI – More Control Over Connectors
• New transcription models listed. Voxtral Mini Transcribe 2 (Premier, $0.003/min) and Voxtral Mini Transcribe Realtime (Open, $0.006/min) now appear on the pricing page. The May report listed the older Voxtral Mini Transcribe at $0.002/min. Source: Mistral AI – Pricing
• New: Classifier APIs. Fine-tuned Ministral 3B and 8B classifiers (for moderation, sentiment, fraud) are now listed: 3B at $0.10/$0.10 per MTok, 8B at $0.04/$0.04 per MTok, with $1/MTok training and $2/month storage per model (minimum $4 per fine-tuning job). Source: Mistral AI – Pricing
• Deprecation countdown: Devstral 2 still scheduled to retire July 31, 2026. Devstral 2 remains listed at $0.40/$2.00 per MTok on the pricing page, one month from its announced retirement date, with Mistral Medium 3.5 as its stated replacement. Source: Mistral AI – Pricing
• No update: Les Ulis data center and industrial partnerships. No June news was published on the Les Ulis 10 MW data center (still announced for Q3 2026) or on the Airbus, BMW, and ASML partnerships announced at the May 28 AI Now Summit. Source: Mistral AI – News
• No update: Vibe CLI / IDE still "powered by Devstral." The pricing page's interface descriptions still state the Vibe CLI and Vibe for IDE are "powered by Devstral," even as Devstral 2 approaches retirement, leaving the successor model for the CLI/IDE undisclosed. Source: Mistral AI – Pricing

Plans

Source: Mistral AI – Pricing

Feature Comparison (from Pricing Page)

Source: Mistral AI – Pricing

Terms explained:

• Flash answers - Quick, short responses from the model. Pro gets 150/day, Team gets 200/day. Source: Mistral AI – Pricing
• PAYG (Pay-as-you-go) - Once included plan usage is exhausted, you can continue at API rates. Source: Mistral AI – Pricing

API Pricing

Coding-Relevant Models

General-Purpose / Reasoning Models

Specialist Models

Tool / API Pricing

Fine-tuning available for: Codestral ($3/MTok training, $0.20/$0.60 storage), Mistral NeMo ($1/MTok training, $0.15/$0.15 storage), Ministral models ($1/MTok training, $2/mo storage). Source: Mistral AI – Pricing

Enterprise APIs: Regional data processing controls, system-level SLAs, increased rate limits, premium support. Contact sales for pricing. Source: Mistral AI – Pricing

Model Performance / Benchmarks

Mistral published no new coding benchmarks in June. Mistral Medium 3.5 remains the only model with published coding benchmarks, unchanged from May:

Mistral claims Medium 3.5 "scores ahead of Devstral 2 and models like Qwen3.5 397B A17B" on SWE-Bench Verified, with no independent verification available. Source: Mistral AI – Vibe Remote Agents Mistral Medium 3 5

Leanstral 1.5 (released June 30) carries no published benchmarks on its model card, only a feature list and the parameter spec (119B total, 6.5B active). Source: Mistral AI – Leanstral 1 5 26 06

Mistral OCR 4 (released June 23) is benchmarked on document-intelligence tasks, not coding; its scores are published as charts in the launch blog and were not extractable as text, so no verifiable numeric score is reported here. The community noted Baidu released a competing "Unlimited-OCR" model the same week, and LlamaIndex committed to benchmarking OCR 4 on ParseBench. Sources: Mistral AI – Ocr 4 , News – Item

Note: OpenAI stopped using SWE-Bench Verified due to contamination concerns. Cross-provider comparisons on that benchmark should be treated with caution.

Latest News

Leanstral 1.5 (June 30, 2026)

Mistral released Leanstral 1.5, a Labs Lean 4 formal proof engineering model "optimised for automated theorem proving and autoformalization," with 119B total parameters and 6.5B active, a 256K context window, and a free labs-leanstral-1-5 endpoint. It succeeds the previous Leanstral (v2603), deprecated May 22. The release went poorly: the model card 404'd for most users on launch day (recoverable only via a June 30 web-archive capture), and the open weights download link was hard to find. Source: Mistral AI – Leanstral 1 5 26 06 , News – Item

Mistral OCR 4 (June 23, 2026)

Mistral launched OCR 4, described as a state-of-the-art document extraction and understanding model. Pricing is $4/1,000 pages (standard), $2/1,000 pages (Batch API), and $5/1,000 pages (Document AI). The launch reached 499 points and 136 comments on HackerNews, making it Mistral's most-engaged June release. Sources: Mistral AI – Ocr 4 , News – Item

Bringing More Control Over Your Connectors (June 24, 2026)

An engineering post on connector controls was published June 24, 2026. Source: Mistral AI – More Control Over Connectors

No June update on data center and partnerships

There was no June news on the Les Ulis 10 MW data center (still announced for Q3 2026) or on the Airbus, BMW, and ASML industrial partnerships and the Emmi AI integration announced in May. Source: Mistral AI – News

Community Signals

Leanstral 1.5 thread (224 points, 77 comments) reframed as "does anyone use Mistral because it's best?"

The most substantive June coding discussion came from the Leanstral 1.5 launch thread on June 30. The top-voted comment (by doctorpangloss) set the framing, and the thread split between users who use Mistral for cost/EU reasons and a smaller group citing concrete wins. Source: News – Item

• doctorpangloss: "Real talk, does anyone use anything from Mistral because it performs the best, by whatever secular metric of your choosing? Or is it only used 'because EU'? Just focus on answering the question. I wonder if anyone has observed it perform better on any objective metric in any rigorous setting." News – Item
• adev_: "I use them primarily through their vibe CLI. Reason is simple: They are cheaper (by almost one order of magnitude compared to Claude) and still do the job pretty well. For small programming tasks, quick prototyping, refactoring or anything verbose and not requiring a context too large: I first go to Mistral and then eventually to Claude if I'm unsatisfied... My tasks are mainly C++ and Python programming." News – Item
• henryrobbins00: "What a coincidence! I just released OpenATP earlier today. OpenATP is an open-source Python package and CLI for agentic automated theorem provers. It includes support for Leanstral with Mistral's Vibe harness. The previous production Leanstral model was deprecated on May 22nd. I will update the package to point to Leanstral 1.5 ASAP!" News – Item
• refulgentis: "OCR is off the charts good on every metric you can think of. LLMs are a near-afterthought at this point if you don't have data residency requirements. I love them and they're slightly underrated, their models are consistently well-trained, open, but as you note, behind. There is no metric that will say they're ahead in anything." News – Item
• anonyfox: "just used mistral for a database/scraping creation tool and ended at <10k€ in token costs (via openrouter), beating gpt5.4-mini in output quality and speed and costs after actual testing A/B fairly." News – Item

Leanstral 1.5 launch quality complaints

The launch drew sharp criticism of Mistral's go-to-market and self-service UX.

• Grimblewald: "Got curious, sign up, add money to account, try to use. Can't, it's a labs model. Fine, let's enable labs. Can't, unspecified error. Fine, lets contact customer support as instructed, can't no customer support, just a half-assed FAQ... Then it hit me: If AI makes good customer support, then why does no AI company use theirs to provide customer support?" News – Item
• beernet: "This went to market horribly (if you can even call it that), just look at the comments. Mistral played themselves big time over the past ~18 months. Non-competitive products and models combined with bad marketing and GTM...Oh Europe" News – Item
• Skinney (on the coding product): "vibe has improved _a lot_ during the past few months, fyi. The new Mistral Medium 3.5 is also a big improvement over devstral-2" News – Item

OCR 4 thread (499 points, 136 comments): pricing and competitor reactions

OCR 4 was Mistral's most-engaged June release, but the discussion stayed focused on document extraction, not coding.

• ge96: "1000 pages for $4? damn how does it compare to llama parse I wonder" News – Item
• freezed8 (jerry from LlamaIndex): "(jerry from llamaindex here) we're gonna benchmark on ParseBench and report the results!" News – Item
• Ducki: "I was processing 55 year old paper files, most of them severely degraded, with its predecessor model. I was very impressed! I also tried Abbyy Finereader but it didn't even come close in my experience." News – Item

Reddit

Reddit's r/MistralAI could not be accessed via the JSON endpoint due to bot detection (HTTP 403). No Reddit community signals were extracted for June.

Enterprise Readiness

Terms explained:

• Data residency - the ability to specify which geographic region processes and stores your data. Mistral's Les Ulis data center (Essonne, France), announced for Q3 2026, would provide EU-based inference. Source: Mistral AI – Ai Now Summit 2026

Transparency Gaps