Mistral 发布 Leanstral：面向 Lean 4 的开源可信 vibe-coding 基础模型

Leanstral: Open-Source foundation for trustworthy vibe-coding

Mistral 发布 Leanstral，首个专为 Lean 4 设计的开源代码智能体，采用 6B 激活参数的稀疏架构，以 Apache 2.0 许可开放权重，并提供 Mistral vibe 智能体模式和免费 API。