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

> 原标题：Leanstral: Open-Source foundation for trustworthy vibe-coding

- 来源：Mistral AI
- 发布时间：2026-03-16T16:00:00.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/cnn2dfjr6470cccid0kzztp7l
- 原文：https://mistral.ai/news/leanstral/

## 摘要

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