| What it does | Test and guard AI agents with outcome verification, not reply verification
| Independent verification for bug fixes in C, C++ and firmware
|
|---|
| Stage | Not given
| MVP
|
|---|
| Founded | Not given
| Not given
|
|---|
| Based in | IT
| Not given
|
|---|
| Pricing model | Freemium
| Not given
|
|---|
| Pricing | Free: €0/month with 100 test runs per month; Test: €19/month with 2,000 runs per month; Guard: €99/month with unlimited runs plus live guard features. AI usage is metered separately at cost.
| Not given
|
|---|
| Key features | - Isolated sandbox with fresh fake accounts for testing
- 88 scenario templates for refunds, cancellations, pauses and plan changes
- CI gate and CLI with dependency-free deployment
- Policy gate with ALLOW/REVIEW/HOLD/DENY decisions
- Human approval for risky actions
- Independent verification of outcome against ground-truth state
- Guardrails with prompt injection and PII detection
- Per-end-user spending caps in rolling windows
- Append-only evidence log with JSON, CSV and PDF export
- GitHub Action integration for automated testing
| - Reproduces bugs deterministically on base version before applying fix
- Verifies fix removal confirms bug returns
- Scans diffs for masking patterns like disabled sanitizers and weakened tests
- Runs on real hardware via STM32 NUCLEO boards and ST-Link
- Integrates with AI coding agents as MCP tool
- Posts verdicts as GitHub pull request comments
- Provides per-test verdicts: FIXED, BROKEN, FLAKY ON THE BENCH, FLAKY WORSE
- Runs entirely on your machines with no cloud dependency
- Generates reports for change records and regulatory compliance
- Runs builds and tests in Linux container on your machine
|
|---|
| What makes it different | - Deterministic verdicts from explicit state checks, not language model decisions
- No-cost deterministic testing; AI features are optional and separately metered
- Integrated sandbox testing and production guarding in one platform
- Idempotent and exactly-once action execution with retry safety
| - Only verification tool that reverses the fix to prove tests actually catch the bug
- Deterministic verdict with no AI language model in decision logic
- Tests on real hardware boards, not just laptops
- Detects masking techniques that hide bugs while passing tests
- Validated public benchmark showing 4 VERIFIED and 6 REJECTED on real open-source bugs
|
|---|
| Community votes | 0 | 0 |
|---|
| DR (Domain Rating by Ahrefs) | Not checked yet ● no change since last check | Not checked yet ● no change since last check |
|---|
| Trust Flow (Majestic) | 0 | 0 |
|---|
| Citation Flow (Majestic) | 0 | 0 |
|---|
| Referring domains (Majestic) | 0 | 0 |
|---|
COLVO
Unfix