| What it does | The verification layer for AI code change
| The governed AI coding platform
|
|---|
| Stage | MVP
| Not given
|
|---|
| Founded | Not given
| Not given
|
|---|
| Based in | Not given
| US
|
|---|
| 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).
| Open source: Free download, bring your own inference. Coder: $20/mo (includes $25 monthly credits). Teams: $35/seat/mo (includes $45 monthly credits). Enterprise: Custom pricing. Code Review add-on: $15/user/mo.
|
|---|
| 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
| - Multi-model routing automatically orchestrates models by task type and cost
- Hard spending limits enforced by user, team, API key, or model
- Autonomous /ferment workflow breaks tasks into milestones and delivers PRs
- Evaluator grades output against original intent before shipping
- Kimchi Studio visual workspace for watching and guiding parallel agent tasks
- Teleport hands off sessions to persistent cloud sandbox workspaces
- AI-powered code review with inline findings and severity scoring
- VS Code extension brings harness into IDE with governance controls
- One-command migration from Claude Code and OpenCode
- Deploy serverless or in your VPC for full data sovereignty
|
|---|
| 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
| - One enforcement layer for security, governance and cost controls across all agent requests
- 50+ open-source and open-weight models with zero lock-in
- Data sovereignty by design: prompts, code and outputs excluded from model training
- Real-time cost attribution per developer, team, model and tag
- Get started in 60 seconds with no lock-in or credit card required
|
| Community votes | 0 | 1 |
| DR (Domain Rating by Ahrefs) | 2 ● no change since last check | 40 ▲ +2 (up) since last check |
| Trust Flow (Majestic) | 0 | 14 |
| Citation Flow (Majestic) | 15 | 33 |
| Referring domains (Majestic) | 4 | 186 |