Mistral AI 发布 Leanstral，面向 Lean 4 的开源代码与证明智能体模型
Mistral AI 发布 Leanstral-120B-A6B，面向 Lean 4 形式化仓库中的代码与证明任务，并以 Apache 2.0 许可开放模型权重。
推荐理由：以真实形式化仓库中的证明任务比较模型表现与运行成本，为评估代码智能体在证明工程中的性价比提供了具体参照。
AI 编码
全部主题AI 写代码的一切：编码助手、Vibe Coding、代码模型评测与开发工作流变革。
最新精选
第 41–49 条 · 共 49 条Mistral AI精选AI 评分6464
Mistral AI精选AI 评分6161 Mistral AI 如何构建自动生成 Rails 测试的智能体
Mistral AI 基于开源编码助手 Vibe 构建了一个自动生成和改进 Rails RSpec 测试的智能体，可读取源文件、执行测试并通过 RuboCop 和 SimpleCov 自我校正。该智能体处理了 275 个源文件，测试通过率和平均代码覆盖率均为 100%，RuboCop 违规数为 0，LLM-as-a-judge 得分为 0.74。
推荐理由：文章拆解了用 AGENTS.md、分类技能和自定义工具约束智能体生成测试的做法，并给出真实代码库中的量化结果。
Mistral AI精选AI 评分7979 Mistral AI 发布终端编码智能体 Mistral Vibe 2.0
Mistral AI 发布终端原生编码智能体 Mistral Vibe 2.0，新增自定义子智能体、多选澄清、斜杠命令技能和统一智能体模式。Mistral Vibe 2.0 面向 Le Chat Pro 和 Team 计划开放，支持按量付费或 BYOK；Devstral 2 转为付费 API 访问，输入价格为 $0.40/M tokens，输出价格为 $2.00/M tokens。
推荐理由：Mistral Vibe 2.0 将子智能体、澄清选项和斜杠命令技能纳入终端编码工作流，适合了解智能体可配置性的开发者参考。
Mistral AI精选AI 评分8181 Mistral AI 发布 Devstral 2、Devstral Small 2 与 Mistral Vibe CLI
Mistral AI 发布 Devstral 2（123B）和 Devstral Small 2（24B）编码模型，以及开源命令行智能体 Mistral Vibe CLI。
推荐理由：文章同时给出两种参数规模、SWE-bench Verified 成绩与部署方式，便于比较开放模型在编码智能体中的性能和落地门槛。
Mistral AI精选AI 评分7474 Mistral AI 发布 Codestral 25.08 与完整企业编码技术栈
Mistral AI 发布 Codestral 25.08，并推出包含 Codestral Embed、Devstral 和 Mistral Code IDE 插件的完整企业编码技术栈。
推荐理由：文章将 Codestral 25.08 的实测改进与 Codestral Embed、Devstral、Mistral Code 的协同方式放在一起，呈现企业私有部署和治理编码 AI 的完整路径。
Mistral AI精选AI 评分7878 Mistral AI 发布 Devstral Medium 并升级 Devstral Small 1.1
Mistral AI 与 All Hands AI 发布 Devstral Medium，并升级 Devstral Small 1.1，面向智能体编码场景。
推荐理由：原文同时给出 Devstral Small 1.1 与 Medium 的 SWE-Bench Verified 成绩、授权方式、价格和部署选项，便于比较开放模型与 API 模型的使用路径。
Mistral AI精选AI 评分6565 Mistral AI 推出企业级编码助手 Mistral Code
Mistral AI 推出企业级 AI 编码助手 Mistral Code，将编码模型、IDE 助手、部署选项和企业工具整合到一个产品中。
推荐理由：文章说明了 Mistral Code 如何把编码模型、IDE 助手、部署选项和企业管控整合到同一套产品中，呈现企业落地 AI 编程的具体路径。
Mistral AI精选AI 评分8080 Mistral AI 发布面向软件工程的 Devstral 智能体模型
Mistral AI 与 All Hands AI 联合推出面向软件工程任务的 Devstral，并以 Apache 2.0 许可证发布。
推荐理由：原文同时给出 Devstral 的 SWE-Bench Verified 成绩、部署方式与 API 价格，便于比较其工程能力和使用门槛。
Mistral AI精选AI 评分7878 Mistral Medium 3 发布，主打低成本企业级性能
Mistral AI 发布 Mistral Medium 3，定位为兼顾 SOTA 性能、较低成本和简化部署的企业级模型。模型在基准测试中达到或超过 Claude Sonnet 3.7 的 90%，价格为 $0.4 input / $2 output per M token，并支持四个 GPU 及以上的自托管环境。
推荐理由：原文将 Mistral Medium 3 与 Claude Sonnet 3.7、Llama 4 Maverick 等模型放在性能和成本维度比较，并说明了企业部署与定制路径。