LLM Comparison
Leanstral 1.5 vs Step 3.5 Flash
Side-by-side specs, pricing & capabilities
Add to comparison
2/6 models| Organization | ||
| OpenTools Score | ||
| Family | Leanstral | Step |
| Status | Current | Current |
| Release Date | Jun 2026 | Jan 2026 |
| Context Window | 256K tokens | 262K tokens |
| Input Price | Free | $0.10/M tokens |
| Output Price | Free | $0.30/M tokens |
| 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 | textreasoningcodingformal-verificationtool-usestructured-output | textcode |
| Max Output | 128K tokens | 66K tokens |
| API Identifier | labs-leanstral-1-5 | stepfun/step-3.5-flash |
| View Leanstral 1.5 | View Step 3.5 Flash |
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 | — |
| Step 3.5 Flash | $0.10 | $0.15 | $0.25 | +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.
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.
StepFun
Step 3.5 Flash
Step 3.5 Flash is a large language model from StepFun. Supports up to 262,144 token context window. Available from $0.10/M input tokens.
More Comparisons
Looking for more AI models?
Browse All LLMs