Mistral AI·· 2026-03-17精选AI 评分82
Mistral AI 发布开源 Leanstral 代码智能体
Leanstral: Open-Source foundation for trustworthy vibe-coding
AI 导读
Mistral AI 发布 Leanstral，这是面向 Lean 4 的开源代码智能体，采用 6B active parameters，支持在形式化代码仓库中生成并验证证明。
推荐理由
Leanstral把Lean 4形式化证明引入代码智能体，并用FLTEval比较性能与成本，呈现了可复用的验证式编程路径。
来源：Mistral AI · mistral.ai