io.github.wyattbenno777/icme-preflight
icme-preflight
io.github.wyattbenno777/icme-preflight costs 1 866 tokens of context per session. It has 14 tool definitions. That is 0.9 % of a 200k window. Measured 2026-10-03.
Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
alive probed 2026-10-03 · HTTP 200
14tools
1.9ktokens for the tool definitions
0.9 %of a 200k context window
743 msto initialize
380 msto list tools
- Endpoint
- https://api.icme.io/mcp (streamable-http)
- Host
- api.icme.io
- Protocol
- 2025-03-26
- Reports itself as
- icme-preflight 1.0.0
- Capabilities
- tools
- Instructions
- none
- Repository
- https://github.com/ICME-Lab/smt-ar-base
- Registry
- active, updated 2026-03-23 · registry entry
- Reachable
- 2 of the last 2 probes
Most expensive tools
| Tool | Tokens | Share of this server |
|---|---|---|
| check_action | 192 | 10 % |
| check_relevance | 186 | 10 % |
| make_rules | 178 | 10 % |
| check_logic | 177 | 9 % |
| top_up_card | 149 | 8 % |
History
We add a row when the result changes. A server with no change keeps its last row.
| Probed | Result | Init | Tools | Tokens |
|---|---|---|---|---|
| 2026-10-03 20:40 | alive | 743 ms | 14 | 1.9k |
| 2026-10-03 17:55 | alive | 929 ms | 14 | 1.9k |
Badge
[](https://mcp-pulse.ulehla.dev/s/io.github.wyattbenno777/icme-preflight)