Mistral AI·· 2026-03-17精选AI 评分64
Mistral 发布 Leanstral：面向 Lean 4 的开源代码智能体
Leanstral: Open-Source foundation for trustworthy vibe-coding
AI 导读
Mistral 发布 Leanstral，这是首个面向 Lean 4 的开源代码智能体，采用 6B 激活参数的稀疏架构，权重以 Apache 2.0 许可开放，并同步上线 Mistral Vibe 的 agent 模式与免费 API 端点 labs-leanstral-2603。
推荐理由
Mistral 开源面向 Lean 4 的代码智能体，给出权重、API 与 FLTEval 评测，可对照其与 Claude 系列的成本差距。
来源：Mistral AI · mistral.ai