Server record / io.github.wyattbenno777/icme-preflight
icme-preflight
Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
Remote endpoints
https://api.icme.io/mcpstreamable-httpTool inventory
check_actioncheck_action_paidcheck_logiccheck_relevancecreate_accountcreate_account_cardget_scenariosmake_rulespoll_sessionquick_checkrun_teststop_uptop_up_cardverify_proofRecent observations
verifiedversion not recorded14 tools