Mistral AI·· 2026-03-17AI 评分54
Mistral 开源 Leanstral：面向 Lean 4 的形式化证明代码智能体
Leanstral: Open-Source foundation for trustworthy vibe-coding
AI 导读
Mistral 发布面向 Lean 4 的开源代码证明智能体 Leanstral，模型权重以 Apache 2.0 协议开源，可通过 Mistral Vibe 智能体模式和 labs-leanstral-2603 API 端点使用。
来源：Mistral AI · mistral.ai