Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
io.github.wyattbenno777
mcp
free
No tags.
No capabilities listed.
Others in the same category, ranked by how often they are opened.