开源MCP代理：隔离大模型与工具服务器

Sentelabs 联合创始人 Banu 推出了开源项目 extensible-mcp，这是一个位于大语言模型与 MCP 服务器之间的代理网关。该项目旨在解决大模型直接加载全部工具时的上下文开销和安全隐患。针对智能体易受不可信输入干扰的问题，代理将策略执行层置于模型触及不到的独立环境中，通过确定性策略收紧权限。同时，它支持按需发现功能，减少上下文冗余并缩小攻击面。项目采用 Apache-2.0 许可证开源，支持自托管，并以 stdio 方式运行，兼容现有 MCP 客户端。未来计划引入基于密码学的可验证人工审批，并使用 Lean 证明助手编写策略并转换为 Rego 执行，实现策略的数学可证明性。