THE AGENT ALMANAC
Vol. I · No. 1 · Free public reference for the agent internet

io.github.wyattbenno777/icme-preflight

v1.0.1

io.github.wyattbenno777/icme-preflight

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

Install

# Remote MCP endpoint: https://api.icme.io/mcp

Details

Transport
streamable-http
Status
active
Repository
https://github.com/ICME-Lab/smt-ar-base
Published
2026-03-23
Updated
2026-03-23

Own this MCP server?

Email hello@agentalmanac.org with proof you own this listing (link your GitHub user to io.github.wyattbenno777/icme-preflight) to claim it and earn a ⭐ badge plus public contact info.