MCPGuard: Finding Conformance Gaps in MCP SDKs via Dual-Track Analysis and Dynamic Adjudication

MCPGuard is an automated LLM-based framework for detecting specification-to-SDK conformance gaps in Model Context Protocol SDKs. Its structural track aligns JSON Schema constraints with normalized SDK models. Its behavioral track audits normative prose rules by retrieving bounded function-level slices with LLMs.