{"id":"4a3a48fd-1c5a-4093-8386-d374ccd13d17","name":"Icme","slug":"icme","description":"Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.","website_url":"https://icme.io","category":["developer","mcp","ai"],"score":null,"latency":null,"uptime_30d":null,"protocols":["rest"],"auth_type":null,"mcp_manifest_url":null,"openapi_spec_url":null,"verified":false,"domain_verified":false,"claimed":false,"vendor_id":null,"status":"active","profile":null,"pricing":null,"last_crawled":"2026-10-29T11:45:46.234375+00:00","last_benchmarked":null,"supports_x402":false,"agent_auth_methods":null,"supports_streaming":false,"has_sandbox":false,"sdks":null,"llms_txt_url":null,"similarity_score":null,"telemetry_evidence":null,"agent_signal":null,"mycelio":null,"featured":false,"sponsored":false,"source":null}