Overview
Performance
Usage
Integrate
Jailbreak-proof guardrails for AI agents. Policy enforcement powered by Automated Reasoning and formal verification — an SMT solver, not an LLM, decides whether an action passes or fails...
Integrate this server via the CLI, MCP SDK, or AI SDK. Smithery handles OAuth, token refresh, and session management for you.
1. Install Smithery CLI
2. Create a namespace
3. Use this server
