Mistral News·· 2026-03-17AI 评分48
Mistral 发布 Leanstral：面向 Lean 4 的开源代码智能体
Leanstral: Open-Source foundation for trustworthy vibe-coding
AI 导读
Mistral 发布 Leanstral，首个面向 Lean 4 的开源代码智能体，权重以 Apache 2.0 许可开放，并提供 Mistral vibe 内的 agent 模式和免费 API 端点。
来源：Mistral News · mistral.ai