MCP MCP server · io.github.wyattbenno777
io.github.wyattbenno777/icme-preflight
Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
- host stars
- —
- 30-day movement
- starts with the next reading
- Related entries
- 0
- Connections
- 0
remotestreamable-http
- Runs
- hosted — you connect to it
- Transport
- streamable-http
- Version
- 1.0.1
- Last release
- 2026-03-23