{"schema_version":1,"snapshot_id":"bfb936f5ceae4a7427f93961201723779c3021545a3c4222395e8678314c3e55","generated_at":"2026-10-17T21:51:24.907033+00:00","notice":"Potential GTM matches from directory metadata and model triage. Discovered does not mean vendor-verified or tested. Pending records remain under review; pricing and install details require primary sources.","canonical_url":"https://gtmmcps.com/discoveries/c4c8e915ddf79795cf5c","record":{"id":"c4c8e915ddf79795cf5c","name":"ICME Preflight","aliases":["ICME Preflight"],"description":"Jailbreak-proof guardrails for AI agents. Policy enforcement powered by Automated Reasoning and formal verification — an SMT solver, not an LLM, decides whether an action passes or fails. Cannot be prompt-injected. Every decision produces a cryptographic ZK proof.\n\nIncludes a FREE check_logic tool that catches contradictions in agent reasoning (budget overflows, impossible timelines, conflicting constraints) using a Z3 SAT solver. No account needed.\n\n13 tools covering the full workflow:\n\ncheck_logic — FREE. Mathematically prove reasoning is consistent before acting on it.\nmake_rules — write gu","repository_url":null,"sources":[{"source_id":"smithery","url":"https://api.smithery.ai/servers","observed_at":"2026-10-17T21:40:22.481400+00:00","source_record_id":"5030a140-5366-44c3-ad6e-7d02b0260131","source_record_name":"icme-labs/preflight"}],"relevance_signals":["billing","workflow"],"classification":{"label":"pending","method":"not-yet-classified"},"catalog_ids":[],"verification_status":"discovered","vendor_ownership":"not-verified","execution_tested":false,"pricing_status":"not-verified","documentation_status":"not-verified"}}