← all releases
Mistral AI·Mar 16, 2026·v1.0·open source
Leanstral-2603
Leanstral-2603 is an open-source code agent developed by Mistral AI, designed specifically for the Lean 4 proof assistant. It combines multimodal capabilities with an efficient architecture, offering a performant and cost-effective alternative to existing closed-source solutions.
AI AgentsAgentic AICodingSoftware Engineering (SW)
overview
Leanstral-2603 is an open-source code agent developed by Mistral AI, designed specifically for the Lean 4 proof assistant. It combines multimodal capabilities with an efficient architecture, offering a performant and cost-effective alternative to existing closed-source solutions.
key features
- 01MoE: 128 experts, 4 active per token
- 02Model Size: 119B parameters with 6.5B activated per token
- 03Context Length: 256k tokens
- 04Multimodal Input: Accepts text and image input, producing text output
- 05Multilingual Support: English, French, Spanish, German, Italian, Portuguese, Dutch, Chinese, Japanese, Korean, and Arabic
𝕏 From the Author
related productsbrowse all →
OB-1open sourceOB-1 is a self-improving coding agent developed by OpenBlock Labs, designed to autonomously handle the full development lifecycle, from project management to pull requests. It integrates seamlessly into existing workflows, enhancing productivity and code quality.CapypaidCapy is an AI software engineer that autonomously triages issues, executes code in isolated virtual machines, and pushes pull requests to GitHub. It enables teams to ship entire sprints in parallel by orchestrating an army of coding agents from a single dashboard.CLI-Anythingopen sourceCLI-Anything is an open-source project developed by HKUDS, aiming to integrate software applications with AI agents, enhancing their functionality and user experience. This initiative focuses on making various software agent-native, allowing seamless interaction between users and applications through AI-driven interfaces.