MCPGuard 在官方 MCP SDK 中确认了规范符合性缺口。
资讯摘要
论文提出 MCPGuard，一个基于 LLM 的自动化框架，用于检测 MCP 规范与官方 SDK 实现之间的符合性缺口。其结构轨将 JSON Schema 约束与规范化 SDK 模型对齐，行为轨提取规范性文字规则并用 LLM 审计候选遗漏，再由证据感知的动态裁决器构建 PoC 验证。作者报告在 Python 1.26.0 与 TypeScript 1.29.0 官方 SDK 上分别确认 13 和 19 项问题，两个黑盒基线均未发现。
要点速读
- 框架包含结构轨、行为轨和证据感知动态裁决器，通过共享内核与语言适配器支持多语言 SDK 分析。
- 在官方 Python 1.26.0 和 TypeScript 1.29.0 SDK 上分别确认 13 和 19 项符合性发现，两个黑盒基线未暴露这些问题。
- 对开放 MCP 服务器的测试显示，这些缺口可能系统性传播至下游应用。
中文摘要由 AI 根据公开来源生成，可能存在理解偏差；具体能力、数字、开放时间等信息请以原文为准。
采集于 2026/11/5 08:00:38（北京时间）。 arXiv 日期为本次公告时间，论文初次投稿日期请查看原文版本记录。