MCP Agent 框架的线后语义变化定位方法

论文提出一种差分测试方法，将固定工具结果追踪至各框架公开接口并校验消费者需求。在 18 个设计夹具、4 个 pinned Python 集成中识别出 13 个独特夹具任务分歧，涉及结构化值、声明错误和富内容。Google ADK 满足其观测路径上的全部主契约，其余集成出现接口特定变化或执行失败；研究提供可复现的接口级证据，而非生产故障率或模型行为测量。