Leanstral

A Lean-focused model family integrated with Mistral’s coding-agent workflows.

• Developer / Organization: Mistral AI
• Category: Proof models & model integrations
• Purpose: Provide a specialized model for Lean proof engineering.
• Key features: Mistral’s Lean-focused model and its integration with the Vibe coding agent.
• Availability: Model / model-integration project; consult model and code licenses separately
• License: Not verified in the linked source (source (opens in a new tab))
• Website / Source code: https://mistral.ai/news/leanstral-1-5/ (opens in a new tab)
• Version: Model: Leanstral 1.5
• Version source: Official release or documentation (opens in a new tab)
• Last checked: 2026-11-01