Mistral AI 发布开源 Leanstral 代码智能体
Mistral AI 发布 Leanstral，这是面向 Lean 4 的开源代码智能体，采用 6B active parameters，支持在形式化代码仓库中生成并验证证明。
推荐理由：Leanstral把Lean 4形式化证明引入代码智能体，并用FLTEval比较性能与成本，呈现了可复用的验证式编程路径。
#编码
#编码
今日 1 条Mistral AI精选AI 评分8282
Mistral AI精选AI 评分7070 Mistral AI 如何用 Vibe 构建自动生成 Rails 测试的智能体
Mistral AI 基于开源编码助手 Vibe 构建了一个可在 CI/CD 中自主生成和改进 RSpec 测试的智能体，能够读取 Rails 源码、并行处理文件，并通过 RuboCop 与 SimpleCov 验证结果。
推荐理由：文章展示了如何用 Vibe、分类型技能和可执行验证工具构建 Rails 测试智能体，并用真实代码库指标检验其效果。
Mistral AI精选AI 评分8181 Mistral Vibe 2.0 发布，新增自定义子智能体与技能命令
Mistral AI 发布终端原生编码智能体 Mistral Vibe 2.0，由 Devstral 2 模型家族驱动，新增自定义子智能体、多选澄清、斜杠命令技能、统一智能体模式和自动更新。
推荐理由：Mistral Vibe 2.0 将子智能体、技能命令和执行前澄清纳入终端工作流，适合了解编码智能体如何增强可控性。
Mistral AI精选AI 评分8787 Mistral AI 发布 Devstral 2 与 Mistral Vibe CLI
Mistral AI 发布 Devstral 2 系列编码模型和 Mistral Vibe CLI。Devstral 2 为 123B 参数模型，在 SWE-bench Verified 上 đạt 72.2%，Devstral Small 2 为 24B 参数模型，得分 68.0%，支持 API、本地部署和微调。
推荐理由：Devstral 2 同时覆盖大规模部署与本地运行场景，并配套 Vibe CLI，材料还提供了 SWE-bench Verified 成绩、许可方式和 API 定价，便于比较其性能与使用门槛。