{"attribution":"MCP Queen — the evidence layer for MCP (https://mcpqueen.com)","license":"CC BY 4.0 — free to use with attribution and a link to mcpqueen.com","methodology":"https://mcpqueen.com/registry#methodology","docs":"https://mcpqueen.com/api","generated_at":"2026-07-16T23:47:24.328Z","server":{"name":"io.github.wyattbenno777/icme-preflight","title":null,"description":"Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.","version":"1.0.1","remote_url":"https://api.icme.io/mcp","repo_url":"https://github.com/ICME-Lab/smt-ar-base"},"operational_grade":{"grade":"A","score":93,"provisional":0,"reachable":1,"auth_state":"open","latency_ms":249,"tool_count":14,"probed_at":"2026-07-14T23:30:34.738Z","evidence":[{"criterion":"reachability","points":25,"max":25,"evidence":"HTTP 200, initialize accepted in 249ms"},{"criterion":"protocol","points":15,"max":15,"evidence":"valid JSON-RPC initialize result, protocolVersion 2025-03-26, serverInfo icme-preflight@1.0.0"},{"criterion":"tooling","points":35,"max":35,"evidence":"tools/list OK: 14 tools e.g. \"check_logic\"; 14/14 described, 14/14 fully-typed schemas, median description 271 chars"},{"criterion":"latency","points":10,"max":10,"evidence":"initialize round-trip 249ms"},{"criterion":"provenance","points":8,"max":15,"evidence":"description present; repository linked; version 1.0.1; namespace io.github.wyattbenno777 does NOT match remote host (expected *.wyattbenno777.github.io)"}],"protocol_access":"open"},"field_semantics":{"auth_state":"Deprecated name retained for compatibility. It means protocol handshake/discovery access only, not tool-level data entitlement.","protocol_access":"Preferred name for auth_state."},"audit_state":"unaudited","observations":[],"response_benchmarks":[],"reviewed_field_reports":[],"interpretation":"Dimensions are independent; missing evidence is not a pass; field reports are qualitative, moderated and never votes."}