Home › Servers › Io Github Wyattbenno777 Icme Preflight

Io Github Wyattbenno777 Icme Preflight

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

ai development

Quick Install

npx -y io.github.wyattbenno777/icme-preflight

Version

1.0.1

Package

io.github.wyattbenno777/icme-preflight

Repository

ICME-Lab/smt-ar-base

About Io Github Wyattbenno777 Icme Preflight

Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included. This MCP server enables AI assistants like Claude, ChatGPT, and other MCP-compatible clients to interact with Io Github Wyattbenno777 Icme Preflight functionality directly.