icme-preflight
Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
likely compatible
Answered an MCP initialize with no credentials; use auth 'None'.
Rule R2a · what this means · Not tested in Copilot Studio.
| Registry name | io.github.wyattbenno777/icme-preflight |
| Endpoint used for verdict | https://api.icme.io/mcp |
| Transports | streamable-http |
| Auth (Copilot Studio setting) | None (open) |
| Last endpoint check | 2026-10-20T18:17:31Z · initialize OK |
| GitHub | ICME-Lab/smt-ar-base |
| Version | 1.0.1 |
| Registry updated | 2026-03-23 |
Track changes like this weekly. New Copilot-ready MCP servers, breakages and auth changes, in one short email.
Is this wrong or out of date? Email us. Data built 2026-10-20.