Verified autonomy
for AI agents.
Determinism, governed end to end. Every action your agent proposes is checked against your specification before it runs.
-
Determinism
Verified outcomes, not best-effort behavior. Predictable across every run.
-
Governance
Constraints enforced before any action reaches your system. Not after.
-
Traceability
Every plan and verdict is a structured, auditable record.
How it works
Two phases.
- 01
Specify your system.
Define your state, the actions allowed, and what must always hold. That’s your invariant pack.
- 02
Launch your agent through rigor.
The agent gets one tool: submit a typed plan. Rigor verifies it, runs the safe ones, and feeds rejections back as corrections.
$brew install Rigor-Cloud/tap/rigor$rigor ground --mode executor -- claude