Mistral AI·· 2026-03-17AI 评分59
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 端点。
来源：Mistral AI · mistral.ai