| What it does | The verification layer for AI code change
| Execution governance for consequential AI-agent operations
|
|---|
| Stage | MVP
| Not given
|
|---|
| Founded | Not given
| Not given
|
|---|
| Based in | Not given
| Not given
|
|---|
| Pricing model | Freemium
| Freemium
|
|---|
| Pricing | Free plan: $0/mo with 500 verifications/mo and unlimited local CLI runs. Pro: $59/mo with 10,000 verifications/mo (early access). Scale: $300/mo with 100,000 verifications/mo (early access). Enterprise: Custom pricing (early access).
| Free engine (MIT/Apache-2.0 open source). Team tier: €1,900/month including 25 writing seats and 50,000 governed actions per month; overage €0.02 per action above 50k monthly. Enterprise: from €90,000/year. Design partner program: €18,000 for 90 days (credited against first annual contract). Add-ons
|
|---|
| Key features | - Verify arbitrary diffs from agents, codemods, or humans
- Three-verdict system: SAFE, UNSAFE, UNPROVEN
- Runs test suite on isolated shadow tree copy
- Changed-line coverage attestation for Python
- Reproducible verification report with audit-grade record
- MCP server for AI agents to verify before landing
- CI gate that blocks unsafe merges
- Syntax and imports validation gates
- Runs locally with no code upload to external service
| - Authority revalidation at dispatch time against live conditions
- Approval binding to canonical intent with single-use, time-bound enforcement
- Sequence and prerequisite policy enforcement at plan time and runtime
- Effect identity matching to prevent duplicate actions across runs
- HMAC-signed, hash-chained, and Ed25519-anchored evidence
- Cross-session capacity ledger for aggregate exposure control
- Verifiers in five languages for independent offline verification
- MCP server support for integration with Claude Code, Cursor, and other agents
- Air-gapped deployment with documented key ceremony on Enterprise
- Deterministic Rust enforcement engine with no models in the decision path
|
|---|
| What makes it different | - Only system that proves changed lines are actually tested, not just that tests pass
- Works with any AI coding agent and integrates via MCP
- Code never leaves your machine; runs entirely locally
- Free local CLI with unlimited verifications, paid only for managed infrastructure
| - Authority is revalidated at the moment of execution, not just at approval time
- Signed, verifiable evidence allows third-party audit without trusting the vendor
- Deterministic enforcement with no AI models influencing the gate decision
- Pricing on governed actions, not seats, aligned with consequence not headcount
- Refusals and verification are never metered or charged
|
|---|
| Community votes | 0 | 0 |
|---|
| DR (Domain Rating by Ahrefs) | 2 ● no change since last check | Not checked yet ● no change since last check |
|---|
| Trust Flow (Majestic) | 0 | 0 |
|---|
| Citation Flow (Majestic) | 15 | 0 |
|---|
| Referring domains (Majestic) | 4 | 0 |
|---|
Refactron™
Rigorix