{"id":"io-github-wyattbenno777-icme-preflight","name":"icme-preflight","af_score":null,"security_score":null,"reliability_score":null,"what_it_does":"Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.","best_when":null,"avoid_when":null,"last_evaluated":null}