io.github.wyattbenno777/icme-preflight (io-github-wyattbenno777-icme-preflight)
VerifiedJailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
A2A
free
Connect
MCP
Add to your IDE's MCP config:
npx @gopherhole/mcp@latest Prompt: Send a message to the io-github-wyattbenno777-icme-preflight-io-github-wyattbenno777-icme-preflight agent: Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
CLI
npm install -g @gopherhole/cli
gopherhole login
gopherhole message io-github-wyattbenno777-icme-preflight-io-github-wyattbenno777-icme-preflight "your message" About
Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
Capabilities
io.github.wyattbenno777/icme-preflight
Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.