Agentic
Ecosystem

Mistral 发布了 Leanstral，这是首个专为 Lean 4 证明助手设计的开源代码智能体，用于形式化数学和软件验证。Leanstral 采用 Apache 2.0 许可证开源，基于稀疏 6B 活跃参数架构——远小于竞争模型——但在 FLTEval 基准测试中以 pass@2 得分 26.3 超越 Claude Sonnet（23.7），成本仅为后者的十五分之一（36 美元 vs 549...

Salesforce 为其 Agentforce Health 平台发布了六款新 AI 智能体，面向医疗行业提供转诊、电子病历管理、理赔处理、农村医疗、流行病学分析和医院运营等自主化能力。 六款智能体分别为：转诊与评估（路由患者转诊）、电子病历读写（EHR 记录更新）、理赔与保障（保险查询）、农村医疗（服务不足社区）、流行病学分析（实时传染病模式检测）、以及医院运营（资源管理）。 这些智能体预...

ExpressVPN 推出了业界首个 VPN MCP（模型上下文协议）服务器测试版，使 Claude Code 和 OpenAI Codex 等 AI 工具能够通过自然语言控制 VPN 连接。 该 MCP 服务器在 AI 工具和 ExpressVPN 桌面应用之间建立严格的本地桥接，允许开发者验证 VPN 连接状态、切换服务器位置、检查安全设置和排查连接问题——所有操作都无需离开工作流程。服务器...

微软宣布推出 Agent 365，一个集中管理企业 AI 智能体的控制平面。定价为每用户每月 15 美元，Agent 365 支持组织大规模部署、组织和治理智能体，并集成了 Microsoft Entra 和 Defender 的身份、合规与安全能力。 该产品通过仪表盘和告警提供统一的可观测性，微软将其定义为「智能体的控制平面」——一个供 IT、安全和业务团队观察、治理和保障组织内运行的 AI ...

以色列 AI 初创公司 Wonderful 成立仅 13 个月，便完成了 1.5 亿美元的 B 轮融资，估值达 20 亿美元——距其完成 1 亿美元 A 轮融资仅四个月。本轮由 Insight Partners 领投，Index Ventures、IVP、Bessemer Venture Partners 和 Vine Ventures 跟投，累计融资总额达 2.86 亿美元。 Wonderfu...

NanoClaw 与 Docker 宣布达成集成合作，让团队可以在一次性 MicroVM 驱动的 Docker Sandbox 中运行 AI 智能体——使 NanoClaw 成为首个支持一键部署到 Docker 沙箱基础设施的 Claw 系智能体平台。 NanoClaw 在 Claude Code 之上封装了一个编排层，负责处理定时任务、持久记忆、多渠道集成（WhatsApp、Telegram、...

claude-mem 是一款 Claude Code 插件，能够捕获 Claude 在编程会话中的所有操作，通过 Claude Agent SDK 压缩上下文，并将相关信息注入到未来的会话中——为 Claude Code 提供跨会话的持久记忆能力。 该插件通过 5 个生命周期钩子运作（SessionStart → UserPromptSubmit → PostToolUse → Summary ...

LangChain 发布了 Deep Agents，一个基于 LangGraph 构建的生产级智能体执行框架（Agent Harness），内置规划工具、文件系统后端和子智能体生成能力，专为处理复杂的多步骤任务而设计。 与传统需要开发者从零搭建提示词、工具和上下文管理的框架不同，Deep Agents 提供了一个开箱即用的完整智能体方案。它引入三大核心创新：让智能体分解任务并跟踪进度的规划工具、...

OpenAI 宣布收购 Promptfoo，一家成立于 2024 年的 AI 安全初创公司，专注于大语言模型应用的红队测试和漏洞检测。Promptfoo 的技术将被集成到 OpenAI 的企业智能体平台 Frontier 中。 Promptfoo 构建了开源工具，用于测试 LLM 面对对抗性攻击、提示注入、数据泄露等安全漏洞的表现。此次收购标志着智能体安全正从事后补救转变为核心平台能力——安全测...

Singulr AI 发布了 Agent Pulse，将其统一 AI 控制平面扩展至自主智能体和 MCP 服务器。该平台为大规模部署 AI 智能体的企业提供可执行的运行时治理、上下文发现和可量化的监督能力。 Agent Pulse 集成四大能力：智能体发现（持续监控智能体及其工具连接和权限链）、智能体风险评估（基于模型访问、MCP 配置和对抗性红队模拟评估风险）、智能体治理（按智能体类型、数据敏...