Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
Add this tool to a workspace, then choose which people and agents can use it.
Open workspaceNo capability manifest has been published for this listing yet.