The coding agent that asks permission, provably.
Warden runs your coding agent inside a policy engine. Every shell command, file write, and git action is checked against your rules by a formal solver before it runs, not after the damage is done.
Policy-governed by default
Write your guardrails once in plain YAML. Warden enforces them on every tool call your agent makes, across every project.
Verified in microseconds
Decisions come from a formal SMT engine, not a probabilistic model. Deterministic, auditable, and fast enough to sit in the hot path.
Blocks what hurts
Leaked secrets, git push --force, rm -rf, and destructive commands are stopped with a proof of exactly which rule fired.
Get Warden for macOS (Apple Silicon)
Enter your email. We will send you a signed license and the download link. Requires an Apple Silicon Mac (M1 or later).
Developer edition. Free while in preview. No credit card. We email your license to this address.
Check your email for your license
We sent your Warden license and install steps to your inbox. Download the app below to get started.
- Download and open Warden.dmg, then drag Warden to Applications.
- Open Warden.
- Go to Policies and paste your license key when prompted.