# Leanstral: Open-Source foundation for trustworthy vibe-coding

DevFeed: [Leanstral: Open-Source foundation for trustworthy vibe-coding](<https://devfeed.tech/articles/leanstral-open-source-foundation-for-trustworthy-vibe-coding-7024.md>)

Original publisher: [Read original article](<https://mistral.ai/news/leanstral/>)

Published: 2026-03-16T16:00:00Z

Content type: release

Language: en

Sources: [Mistral AI Blog](<https://devfeed.tech/sources/mistral-ai-blog.md>)

Topics: [Lean](<https://devfeed.tech/topics/lean.md>), [AI-assisted coding](<https://devfeed.tech/topics/ai-assisted-coding.md>), [Vibe coding](<https://devfeed.tech/topics/vibe-coding.md>), [Code generation](<https://devfeed.tech/topics/code-generation.md>), [Math and Logic](<https://devfeed.tech/topics/math-and-logic.md>), [Open Source](<https://devfeed.tech/topics/open-source.md>), [Benchmark](<https://devfeed.tech/topics/benchmark.md>), [Model Context Protocol](<https://devfeed.tech/topics/model-context-protocol.md>), [Rust](<https://devfeed.tech/topics/rust.md>)

Tags: [agents](<https://devfeed.tech/tags/agents.md>), [ai](<https://devfeed.tech/tags/ai.md>), [benchmark](<https://devfeed.tech/tags/benchmark.md>), [code-generation](<https://devfeed.tech/tags/code-generation.md>), [math](<https://devfeed.tech/tags/math.md>), [mcp](<https://devfeed.tech/tags/mcp.md>), [models](<https://devfeed.tech/tags/models.md>), [open-source](<https://devfeed.tech/tags/open-source.md>), [release](<https://devfeed.tech/tags/release.md>), [rust](<https://devfeed.tech/tags/rust.md>), [vibe-coding](<https://devfeed.tech/tags/vibe-coding.md>)

## AI overview

Mistral introduces Leanstral, an open-source coding agent for Lean 4 designed to generate formally verified code and proofs in realistic repositories. The article describes its sparse architecture, 6B active parameters, Apache 2.0 release, MCP support, and evaluation against commercial and open-source coding agents.

## Source excerpt

The most powerful AI platform for enterprises. Customize, fine-tune, and deploy AI assistants, autonomous agents, and multimodal AI with open models.