Mistral 开源 Leanstral：面向 Lean 4 的形式化证明代码智能体
Mistral 发布面向 Lean 4 的开源代码证明智能体 Leanstral，模型权重以 Apache 2.0 协议开源，可通过 Mistral Vibe 智能体模式和 labs-leanstral-2603 API 端点使用。
#MCP/工具调用
#MCP/工具调用
今日 1 条Mistral AIAI 评分5454
Mistral AIAI 评分5959 Mistral Le Chat 上线自定义 MCP 连接器与 Memories 功能
Mistral 在 Le Chat 中推出 MCP 连接器目录（beta）与 Memories（beta）两项新功能。
Mistral AIAI 评分5757 Mistral 发布 Agents API，内置连接器与 MCP 工具
Mistral 发布 Agents API，把代码执行、网页搜索、图像生成与 MCP 工具封装为开箱即用能力，并支持持久记忆、流式输出与多智能体编排。网页搜索连接器在 SimpleQA 上把 Mistral Large 与 Mistral Medium 的得分从 23% / 22.08% 提升到 75% / 82.32%，文档库连接器支持基于上传内容的 RAG。