MCP servers
icme-preflight
Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
Remotes
Streamable HTTP
https://api.icme.io/mcpclaude mcp add --transport http icme-preflight https://api.icme.io/mcpPackages
This server publishes no installable package.
Server details
- Registry name
- io.github.wyattbenno777/icme-preflight
- Version
- 1.0.1
- Registry status
- active
- Repository
- icme-lab/smt-ar-base
- First published
- Source
- Official MCP Registry
