Mistral AI·2026-03-17 00:00· 2026-03-17AI 评分54

Mistral 发布 Lean 4 代码智能体 Leanstral

Leanstral: Open-Source foundation for trustworthy vibe-coding

AI 导读

Mistral 发布 Leanstral，一个面向 Lean 4 的开源代码智能体，以 Apache 2.0 许可开放权重，并集成进 Mistral Vibe 与免费 API。

来源：Mistral AI · mistral.ai