Browse/ai-ml/io.github.wyattbenno777/icme-preflight

io.github.wyattbenno777/icme-preflight

by io.github.wyattbenno777 · Added 9d ago

Install

git clone https://github.com/ICME-Lab/smt-ar-base

About

Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.

Tags

ai-mlmcp-serverofficial-registry
View on GitHub← Back to Browse