{"art":"mcp_server","schluessel":"io.github.wyattbenno777/icme-preflight","slug":"io-github-wyattbenno777-icme-preflight","name":"io.github.wyattbenno777/icme-preflight","status":"aktiv","homepage":"https://github.com/ICME-Lab/smt-ar-base","paket_koordinate":"name:io.github.wyattbenno777/icme-preflight","indexierbar":true,"anbietertext":{"text":"Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.","sprache":"en","uebersetzt":false,"geprueft":false,"quelle":"Anbieter"},"adresse":"/api/v1/eintrag/mcp_server/io-github-wyattbenno777-icme-preflight"}