io.github.wyattbenno777/icme-preflight
io.github.wyattbenno777/icme-preflight
Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
timeout probed 2026-10-15
fetch failed | Connect Timeout Error (attempted address: api.icme.io:443, timeout: 10000ms) | UND_ERR_CONNECT_TIMEOUT
- Endpoint
- https://api.icme.io/mcp (streamable-http)
- Host
- api.icme.io
- Repository
- https://github.com/ICME-Lab/smt-ar-base
- Registry
- active, updated 2026-03-23 · registry entry
- Reachable
- 6 of the last 6 probes
History
We add a row when the result changes. A server with no change keeps its last row.
| Probed | Result | Init | Tools | Claude | o200k |
|---|---|---|---|---|---|
| 2026-10-05 16:39 | alive | 466 ms | 14 | 3.2k | 1.9k |
| 2026-10-05 00:57 | alive | 243 ms | 14 | 1.9k | |
| 2026-10-04 10:07 | alive | 773 ms | 14 | 1.9k | |
| 2026-10-04 08:01 | alive | 889 ms | 14 | 1.9k | |
| 2026-10-03 20:40 | alive | 743 ms | 14 | 1.9k | |
| 2026-10-03 17:55 | alive | 929 ms | 14 | 1.9k |
Badge and feed
[](https://mcpcost.ulehla.dev/s/io.github.wyattbenno777/icme-preflight)
An entry for every probe that changed the result, the tool count or the token cost: Atom feed. Add it to a feed reader or a Slack RSS app to hear when the server stops answering or its tool set grows.