Mistral.ai Leanstral: open-source model designed for engineering (opens in new tab)

> Leanstral > Our first open-source code agent designed for Lean 4, built for formal proof engineering in realistic repositories. 119B parameters with 6.5B active.

Mentioned in the 2.5.0 release of the Vibe CLI tool: https://github.com/mistralai/mistral-vibe/releases/tag/v2.5.... A HuggingFace page is linked for the weights but it returns a 404: https://huggingface.co/mistralai/Leanstral-120B-A6B-2603

There is a blog post now: https://mistral.ai/news/leanstral