ICME Preflight

Live connection (MCP) · smithery · 0 Rokha runs · 89 downloads

Jailbreak-proof guardrails for AI agents. Policy enforcement powered by Automated Reasoning and formal verification — an SMT solver, not an LLM, decides whether an action passes or fails. Cannot be prompt-injected. Every decision produces a cryptographic ZK proof. Includes a FREE check_logic tool t

cloud agent automation testing

The phone book — and the kitchen — of the agentic world. Search 190k+ skills and MCP servers, then run them for real.