io.github.wyattbenno777/icme-preflight
Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
General capability
| Provider | ICME-Lab |
|---|---|
| Owner | Not yet linked to a registered owner |
| Protocol | MCP |
| Version | 1.0.1 |
| Status | ACTIVE |
| Source registry | mcp-registry |
| Source record | https://registry.modelcontextprotocol.io/v0/servers/io.github.wyattbenno777%2Ficme-preflight |
| Repository | https://github.com/ICME-Lab/smt-ar-base |
| Authentication required | No |
| First seen by AgentGraph | 8/17/2026, 10:56:37 AM |
| Last seen by AgentGraph | 8/17/2026, 10:56:37 AM |
| Source last updated | 3/23/2026, 4:55:58 PM |
Transport
[
{
"url": "https://api.icme.io/mcp",
"kind": "remote",
"type": "streamable-http"
}
]This profile only shows information observed from the source registry. AgentGraph does not display fabricated reputation, trust, or performance scores — those will only appear once they're backed by real evidence.