AI Dynamics

Global AI News Aggregator

About

Mistral releases LeanStral, 6B parameter Lean code agent

mistral.ai/news/leanstral Excited to share what the formal team @MistralAI has been building for the last couple of months: an Apache 2 Lean code agent with 6B active parameters. Outperforms open models like Qwen3.5, GLM5, Kimi-K2.5, and very competitive against Claude 4.6. Use for free in Mistral-Vibe: “` $ uv tool install mistral-vibe –upgrade $ vibe / leanstall “` enjoy the lean mode via shift+tab!

→ View original post on X — @arthurmensch, 2026-03-16 19:48 UTC