{"id":"io-github-wyattbenno777-icme-preflight","name":"io.github.wyattbenno777/icme-preflight","title":null,"description":"Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.","category":"crypto-web3","categories":["crypto-web3","finance-and-payments","ai-and-media"],"flags":[],"users_30d":0,"health":{"status":"ok","latency_ms":1327,"tool_count":14,"auth":"none","checked_at":"2026-10-16T17:35:34.811Z"},"remote":true,"pending":false,"install_link":"https://toolfindr.dev/add?server=io.github.wyattbenno777%2Ficme-preflight&ref=tool-finder","details_url":"https://toolfindr.dev/servers/io-github-wyattbenno777-icme-preflight","health_error":null,"repo_url":"https://github.com/ICME-Lab/smt-ar-base","website_url":null,"version":"1.0.1","remotes":[{"type":"streamable-http","url":"https://api.icme.io/mcp"}]}