Services Sdk MCP Server - Formally-verified injection/exfiltration detector for AI | MCP Marketplace