Mistral AI·2026-03-17 00:00· 2026-03-17AI score59

Leanstral: Open-Source foundation for trustworthy vibe-coding

AI introduction

Mistral released Leanstral-120B-A6B (6B activated parameters), its first open-source coding agent for Lean 4 formal proof, with weights under the Apache 2.0 license and accessible via Mistral Vibe and the free labs-leanstral-2603 API endpoint.

A summary is available. Open the original source for the full article. Read source

Source images · Select to enlarge

Source: Mistral AI · mistral.ai

#模型发布 #编码 #开源生态 #MCP/工具调用