{"servers":[{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.wyattbenno777/icme-preflight","description":"Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.","repository":{"url":"https://github.com/ICME-Lab/smt-ar-base","source":"github"},"version":"1.0.1","remotes":[{"type":"streamable-http","url":"https://api.icme.io/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-03-23T16:55:58.85125Z","publishedAt":"2026-03-23T16:55:58.85125Z","updatedAt":"2026-03-23T16:55:58.85125Z","isLatest":true}}}],"metadata":{"count":1}}