icme-preflight
MCP serverAI & modelsJailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
Serves today. ahel can serve it to every connected agent through your gateway link.
Serve it through your gateway
One link, every agent. Your own credentials, stored once.
ahel review
S4low
published under wyattbenno777's namespace; repository belongs to icme-lab
Automated review, not a security audit. Ruleset v1.