| What it does | Evidence laid out, not a lone percentage.
| Independent verification for bug fixes in C, C++ and firmware
|
|---|
| Stage | Not given
| MVP
|
|---|
| Founded | Not given
| Not given
|
|---|
| Based in | Not given
| Not given
|
|---|
| Pricing model | Freemium
| Not given
|
|---|
| Pricing | Free plan: 4 welcome credits (1 full report). Pro: $19/month for 300 credits/month. Team: $59/month for 1500 credits/month. Each report costs 4 credits.
| Not given
|
|---|
| Key features | - Cross-checks four independent detection models
- Deterministic evidence trump card (C2PA credentials, generator self-tags)
- Published weighted-vote rule (30% each for Sightengine, Winston AI, Was It AI; 10% for SAFE)
- Batch screening of up to 50 images at once
- Graded conclusions with disagreement reported
- Shareable report links and forensic PDF download
- Support for JPEG, PNG, WebP up to 12MB
- Generator-specific classification (Midjourney, DALL-E, Stable Diffusion, Flux, Imagen, Adobe Firefly, Ideogram)
- SHA-256 file hash recording for chain-of-custody
- Private uploads, shared only via report link
| - 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 | - Published weighted-vote rule with every vote shown by name instead of hidden percentages
- Reports disagreement honestly instead of blending signals into one number
- Automatic credit refund when an engine fails
- Full product access in free tier (not a limited teaser)
- Deterministic file evidence (C2PA, metadata) that outranks model votes
| - 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) | 41 ▲ +1 (up) since last check | Not checked yet ● no change since last check |
| Trust Flow (Majestic) | 13 | 0 |
| Citation Flow (Majestic) | 27 | 0 |
| Referring domains (Majestic) | 102 | 0 |