Mistral AI·· 2026-03-17精選AI 評分68
Leanstral 釋出開源可信 Vibe 編碼基礎
Leanstral: Open-Source foundation for trustworthy vibe-coding
AI 導讀
Leanstral 是 Mistral AI 推出的首款專為 Lean 4 設計的開原始碼代理，採用 6B 活躍引數，支援在 Mistral Vibe 中零設定使用，並提供免費 API 端點。
推薦理由
Leanstral 以 6B 引數實現高效 Lean 4 程式碼生成，成本低於主流模型，展示了開原始碼代理在正式驗證場景中的可行性。
來源：Mistral AI · mistral.ai