Question 1

What is the io.github.wyattbenno777/icme-preflight MCP server?

Accepted Answer

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

Question 2

How do I connect to io.github.wyattbenno777/icme-preflight?

Accepted Answer

io.github.wyattbenno777/icme-preflight supports the streamable-http transport and runs via remote. Add it to your MCP client configuration to expose its tools to your AI agent.

Question 3

Does io.github.wyattbenno777/icme-preflight require authentication?

Accepted Answer

io.github.wyattbenno777/icme-preflight does not require authentication ("none").

io.github.wyattbenno777/icme-preflight

Details

FAQ