Mistral AI 推出 Spaces：一款为人类与 AI 智能体打造的 CLI
Mistral AI 发布 Spaces CLI，一款同时面向人类开发者与 AI 智能体的命令行工具，通过 `spaces init`、`spaces dev` 等命令可从零搭建带热重载、数据库和 Dockerfile 的多服务项目。
全部动态 · 今日1条
#MCP/工具调用
信源抓到、进了内容池的全部内容，按时间排列；精选只是其中一部分。
一手
模型厂商、公司和研究机构自己发布的消息：官网、官方博客和官方账号。
Mistral AI36
Mistral AI精选60 Mistral 发布 Leanstral：面向 Lean 4 的开源代码智能体
Mistral 发布 Leanstral，称其为首个面向 Lean 4 的开源代码智能体，采用 6B 激活参数的稀疏架构，权重以 Apache 2.0 许可开放，并接入 Mistral Vibe 与免费 API 端点 labs-leanstral-2603。
推荐理由：Mistral 开源面向 Lean 4 的代码智能体，给出与 Claude 系列和开源模型的成本与得分对比，可据此判断形式化验证路线的性价比。
Mistral AI精选62 Mistral 用 Vibe 搭建自动写 Rails 测试的智能体
Mistral 基于其开源编码助手 Vibe 搭建了一个自主智能体，可读取 Rails 源文件、生成或改进 RSpec 测试，并在 CI/CD 流程中无需人工干预运行。
推荐理由：Mistral 公开了自动写 RSpec 测试的智能体完整搭建方法，包括 AGENTS.md、skills 与自定义工具三层设计。
Mistral AI精选62 Mistral 发布终端编码智能体 Vibe 2.0，由 Devstral 2 驱动
Mistral 发布终端原生编码智能体 Mistral Vibe 2.0，由 Devstral 2 模型系列驱动，新增自定义子智能体、多选项澄清、斜杠命令技能、统一智能体模式和自动更新。
推荐理由：官方给出 Vibe 2.0 的自定义子智能体、斜杠命令技能与计费方式，可据此判断终端编码智能体的用法与成本。
Mistral AI精选82 Mistral 发布 Devstral 2 编码模型与 Mistral Vibe CLI
Mistral AI 发布下一代编码模型系列 Devstral 2，含 123B 的 Devstral 2 和 24B 的 Devstral Small 2，分别采用修改版 MIT 和 Apache 2.0 许可，均为开源。
推荐理由：原文给出两款开源编码模型的参数、许可与 SWE-bench 成绩，并附与闭源模型的胜负对比，可据此判断开源编码智能体的当前水位。
Mistral AI精选62 Mistral 为 Le Chat 上线自定义 MCP 连接器与 Memories
Mistral 在 Le Chat 中发布 20 多个基于 MCP 的安全连接器目录（beta），覆盖数据、生产力、开发、自动化、商业等类别，可接入 Databricks、Snowflake、GitHub、Atlassian、Asana、Outlook、Box、Stripe、Zapier 等工具，并支持添加自定义 MCP 连接器及连接任意远程 MCP 服务器。
推荐理由：原文列出连接器覆盖的工具类别与部署方式，读者可据此判断 Le Chat 能否接入现有企业工作流。
Mistral AI精选76 Mistral AI 发布 Agents API，内置连接器与多智能体编排
Mistral AI 发布 Agents API，将自家语言模型与代码执行、网页搜索、图像生成、MCP 工具等内置连接器结合，并提供跨对话的持久记忆与智能体编排能力。
推荐理由：官方给出内置连接器、持久记忆与多智能体编排的具体能力，读者可据此判断企业级智能体平台的搭建方式。
Mistral AI精选60 Mistral 发布 Le Chat Enterprise，由 Mistral Medium 3 驱动
Mistral 发布企业版 AI 助手 Le Chat Enterprise，由全新的 Mistral Medium 3 模型驱动，提供企业搜索、Agent 构建器、自定义数据与工具连接器、文档库、自定义模型和混合部署等功能，全部功能将在未来两周内逐步上线。
推荐理由：Mistral 把企业搜索、Agent 构建和混合部署打包进一个平台，可据此判断企业 AI 采购的整合方向。
Mistral AI34 Mistral AI 用智能体工作流自动生成 PRD 与工程任务
Mistral AI 推出 TranscriptToPRDTicket 智能体工作流，由 Mistral Large 2 驱动的 PRDAgent 和 TicketCreationAgent 组成，可将会议转录自动生成 PRD 并转化为结构化开发工单，自动在 Linear、Jira 等项目管理工具中创建。