io.github.wyattbenno777/icme-preflightai

icme-preflight

Synced · awaiting check

Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.

Install

claude mcp add --transport http icme-preflight https://api.icme.io/mcp

Our take

Not yet reviewed. This entry is synced and verified automatically but hasn't had an editorial pass yet. The data above is real; the judgment is yours for now.

Something wrong or dead here? Report it

Verification record

in registry since: 2026-03-23

github.com/ICME-Lab/smt-ar-base