MCPGuard：通过双轨分析和动态裁决查找 MCP SDK 中的一致性差距

arXiv:2611.03662v1 公告类型：新 摘要：模型上下文协议 (MCP) 通过实现消息验证和会话逻辑的官方 SDK 将大型语言模型代理连接到外部工具和服务。这些 SDK 忽略的规范约束可能会传播到下游应用程序，这凸显了 SDK 级一致性测试的重要性。然而，现有的 MCP 一致性工具主要测试运行端点，而很少揭示 SDK 模型是否强制执行规范要求。我们推出了 MCPGuard，这是一个基于 LLM 的自动化框架，用于检测规范与 SDK 的一致性差距。其结构轨道将 JSON Schema 约束与标准化 SDK 模型保持一致，并生成特定于约束的证据。其行为轨迹提取规范的散文规则，检索有界的功能级别切片，并使用法学硕士对其进行审核以查找候选人的遗漏。然后，具有证据意识的动态裁决者会检查完整的源上下文并构建 PoC 来验证候选人。具有特定于语言的适配器的共享内核可实现跨 SDK 的分析。在官方的 Python 1.26.0 和 TypeScript 1.29.0 SDK 上，MCCPGuard 分别确认了 13 和 19 个发现，其中没有一个被两个黑盒基线暴露。对开放 MCP 服务器的测试进一步表明，这些差距可以系统地向下游传播。通过使 SDK 符合规范约束的一致性可直接测试，MCCPard 补充了传统的面向端点的一致性套件。