icme-preflight

Indexed by io.github.wyattbenno777

About

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

Use this server

Add it to your MCP client. The catalogue lists this config verbatim from its source — it does not run, download, or vouch for the server. Review the command before you run it.

TransportHTTP (remote server)

Claude Code

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

Cursor

Add to Cursor

If the button doesn't open Cursor, use the JSON below — Cursor accepts the same mcpServers config.

VS Code

code --add-mcp '{"name":"icme-preflight","type":"http","url":"https://api.icme.io/mcp"}'

JSON

{
  "mcpServers": {
    "icme-preflight": {
      "url": "https://api.icme.io/mcp"
    }
  }
}