LLM Comparison
Granite 4.0 Micro vs Leanstral 1.5
Side-by-side specs, pricing & capabilities
Add to comparison
2/6 models| Organization | ||
| OpenTools Score | ||
| Family | Granite | Leanstral |
| Status | Current | Current |
| Release Date | Oct 2025 | Jun 2026 |
| Context Window | 131K tokens | 256K tokens |
| Input Price | $0.02/M tokens | Free |
| Output Price | $0.11/M tokens | Free |
| Pricing Notes | — | Mistral model card lists Leanstral 1.5 price as $0. Changelog says the Labs endpoint is scheduled to retire on 2026-09-30. |
| Capabilities | textcode | textreasoningcodingformal-verificationtool-usestructured-output |
| Max Output | — | 128K tokens |
| API Identifier | ibm-granite/granite-4.0-h-micro | labs-leanstral-1-5 |
| Benchmarks | ||
| AIME 2025 | 6%artificial-analysis | — |
| GPQA Diamond | 33.6%artificial-analysis | — |
| View Granite 4.0 Micro | View Leanstral 1.5 | |
Cost Calculator
Enter your expected monthly token usage to compare costs.
| Model | Input | Output | Total / mo | vs Best |
|---|---|---|---|---|
| Leanstral 1.5Cheapest | $0.00 | $0.00 | $0.00 | — |
| Granite 4.0 Micro | $0.02 | $0.06 | $0.07 | +0% |
Compare hosting configurations
Compare two exact setups, including different configurations of the same model. Hardware fit, measured speed and costs are separate decisions.
Add your cost assumptions (optional)
Use hours for the same scenario period. Cloud billing includes idle time; active hours alone do not set the bill. Local electricity uses whole-system attributable power, powered hours and your tariff. Missing inputs remain unknown.
Choose two different configurations to see their tradeoffs.
IBM
Granite 4.0 Micro
Granite 4.0 Micro is a large language model from IBM. Supports up to 131,000 token context window. Available from $0.02/M input tokens.
Mistral AI
Leanstral 1.5
Leanstral 1.5 is Mistral AI free Lean 4 formal proof-engineering model for automated theorem proving, autoformalization, and real-world code verification. Official Mistral docs list it as a Labs model with 119B total parameters, 6.5B active parameters, a 256k context window, 128k max output, $0 pricing, and the labs-leanstral-1-5 API identifier.
More Comparisons
Looking for more AI models?
Browse All LLMs