Leanstral Pricing 2026
Complete pricing guide for Leanstral — plans, costs, and free options.
💰 Leanstral Pricing Overview
Leanstral uses a freemium pricing model. Free tier available with optional paid upgrades. Current pricing: Free API endpoint at launch. Available in Mistral Vibe (zero-setup). Open weights under Apache 2.0 for self-hosting. Leanstral is a coding & development tool known for mistral's open-source lean 4 proof agent — formal verification at low cost. You can get started with Leanstral for free and upgrade to a paid plan as your needs grow.
Does ChatGPT recommend your AI tool?
Before you compare plans: does ChatGPT name Leanstral when someone asks for a coding & development recommendation? Run a free AI-visibility scan on any tool — 5 prompt angles, ~30 seconds, no signup, no card.
🔍 Compare Before You Buy
Comparing Leanstral to similar tools helps you make the best choice for your budget and needs:
GitHub Copilot
PaidAI pair programmer for code suggestions
Starting at $10/month
Compare with Leanstral →Claude Opus 4.8
PaidAnthropic's flagship model — stronger coding, agents, and honesty
Starting at $5
Compare with Leanstral →Devstral 2
FreemiumMistral's SOTA open-weight coding model — 72.2% SWE-bench, free API
Devstral 2 (123B) and Devstral Small 2 (24B) are currently free to use via the Mistral API (console.mistral.ai). Open weights: Devstral 2 ships under a modified MIT license; Devstral Small 2 under Apache 2.0. Self-hosting on compatible hardware is supported. Enterprise pricing available for on-prem deployments.
Compare with Leanstral →Leanstral Plans & Pricing
Free
API endpoint at launch
* Pricing information is based on publicly available data and may not reflect current promotions, annual discounts, or regional pricing. Visit the official Leanstral website for the latest pricing.
Is Leanstral your tool?
Claim it to take a capped slot in Coding & Development — each category sells a fixed number — so your row ranks above every free tool in it, and above the 3 alternatives we list for Leanstral, with a Featured badge.
Claim Now →Is Leanstral Free?
Free API endpoint at launch. Available in Mistral Vibe (zero-setup). Open weights under Apache 2.0 for self-hosting.
Before you pay for Leanstral
We wrote up the free routes to this job
We have not written a free-Leanstral-alternatives guide yet. The closest one we have is built around GitHub Copilot — the same Coding & Development job, and every free tier in it was read off the vendor's own pricing page on a stated date: the allowance, what the free plan withholds, and the price the paid tier actually starts at. Several of the tools in it are alternatives to Leanstral too.
Free GitHub Copilot alternatives, compared →Check Leanstral pricing at the source
The breakdown above is our summary of Leanstral's published pricing, not a quote. Plans, limits and what each tier includes change without notice — confirm on Leanstral's own pages before you buy.
Official Leanstral site ↗We do not represent Leanstral and these links are not paid placements.
Is Leanstral Worth It?
Leanstral is a freemium coding & development tool that offers 9 key features including 120B total parameters, 6B active (sparse MoE) — efficient inference at scale, Apache 2.0 open weights — full self-hosting permitted, Free API endpoint via Mistral La Plateforme. Leanstral is Mistral AI's open-source code agent purpose-built for Lean 4, the proof assistant used for formal verification of mathematics and mission-critical software. Released March 16, 2026, it's a 120B-parameter sparse MoE model with 6B active parameters — designed to operate in realistic formal repositories, not just isolated math competition problems. Apache 2.0 license, free API endpoint, and integrated into Mistral Vibe for zero-setup use.
✅ Leanstral is a good choice if you need:
- •120B total parameters, 6B active (sparse MoE) — efficient inference at scale
- •Apache 2.0 open weights — full self-hosting permitted
- •Free API endpoint via Mistral La Plateforme
- •Zero-setup integration in Mistral Vibe via /leanstall command
- •MCP support: trained to maximize performance with lean-lsp-mcp
💡 Value Assessment
With a free tier available, Leanstral is an easy recommendation for anyone looking to try coding & development tools without financial commitment. The paid plans offer good value for power users who need the additional features and higher usage limits.
Leanstral Key Features
Leanstral comes packed with features that make it a strong contender in the coding & development space. Here's what you get:
120B total parameters, 6B active (sparse MoE) — efficient inference at scale helps you work more efficiently with Leanstral.
Apache 2.0 open weights — full self-hosting permitted helps you work more efficiently with Leanstral.
Integrate Leanstral into your own applications and workflows via the API.
Connect with your existing tools and services for a unified workflow.
MCP support: trained to maximize performance with lean-lsp-mcp helps you work more efficiently with Leanstral.
FLTEval benchmark: 26.3 at pass@2 — beats Claude Sonnet 4.6 (23.7) at 1/15th the cost helps you work more efficiently with Leanstral.
At pass@16, reaches 31.9 — beats Sonnet by 8 points and Haiku by 8.9 points helps you work more efficiently with Leanstral.
Outperforms Qwen3.5-397B-A17B and Kimi-K2.5-1T-A32B despite far fewer active parameters helps you work more efficiently with Leanstral.
New FLTEval evaluation suite for real proof engineering (FLT project PRs), not just competition math helps you work more efficiently with Leanstral.
Leanstral Alternatives & Their Pricing
Considering alternatives to Leanstral? Here's how competing tools compare on pricing:
GitHub Copilot
PaidAI pair programmer for code suggestions
Pricing: Individual $10/mo, Business $19/user/mo, Enterprise $39/user/mo
Claude Opus 4.8
PaidAnthropic's flagship model — stronger coding, agents, and honesty
Pricing: $5/M input tokens, $25/M output tokens (standard). $10/M input, $50/M output (fast mode). Same pricing as Opus 4.7.
Devstral 2
FreemiumMistral's SOTA open-weight coding model — 72.2% SWE-bench, free API
Pricing: Devstral 2 (123B) and Devstral Small 2 (24B) are currently free to use via the Mistral API (console.mistral.ai). Open weights: Devstral 2 ships under a modified MIT license; Devstral Small 2 under Apache 2.0. Self-hosting on compatible hardware is supported. Enterprise pricing available for on-prem deployments.
Ready to try Leanstral?
Visit the official website for the latest pricing and to get started.
Frequently Asked Questions
Is Leanstral free to use?
Yes, Leanstral offers a free tier that you can use without paying.
How much does Leanstral cost in 2026?
As of 2026, Leanstral pricing is: Free API endpoint at launch. Available in Mistral Vibe (zero-setup). Open weights under Apache 2.0 for self-hosting. Visit the official Leanstral website for the most current pricing.
What are the best alternatives to Leanstral?
Popular alternatives to Leanstral include GitHub Copilot, Claude Opus 4.8, Devstral 2. Each offers different features and pricing structures. Compare them on AISO Tools to find the best fit for your needs and budget.
Is Leanstral worth the price?
Leanstral offers features like 120B total parameters, 6B active (sparse MoE) — efficient inference at scale, Apache 2.0 open weights — full self-hosting permitted, Free API endpoint via Mistral La Plateforme. Whether it's worth the investment depends on your specific needs, usage volume, and budget. The free tier lets you try it before committing to a paid plan.
Learn More
📬 Get the best new AI tools delivered weekly
One concise email with fresh launches, trending picks, and featured standouts.