Directory / api.icme.io
io.github.wyattbenno777/icme-preflight working
https://api.icme.io/mcp
Before you pay
- Advice
ok- Protocol
- mcp · streamable-http
- Server
- icme-preflight 1.0.0 · 14 tools
- Last check
- 29 min ago · 398 ms · HTTP 200
- Detail
- initialize ok, protocol 2025-03-26
Reliability
- Uptime 24 h
- 100.0%
- Uptime 7 days
- 100.0% (10 checks)
- Uptime 30 days
- 100.0% (signed daily)
- Listed by
- mcp-registry
- First seen
- 2026-11-05 22:48 UTC
Description (from the catalogue, unverified)
Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
Signed history
| When | Statement | Log index |
|---|---|---|
| 2026-11-06 00:10 UTC | 08a8f8e1…255aae daily summary | 28982 |
Verify any statement offline: how.
For agents and owners
JSON: https://alalanet.com/v1/services/hmf4qpjgmeswt3ys
Badge:
<a href="https://alalanet.com/s/hmf4qpjgmeswt3ys"><img src="https://alalanet.com/badge/hmf4qpjgmeswt3ys" alt="alalanet status"></a>Own this service? Get verified. Do not want it checked? See the prober page.