| What it does | Independent verification for bug fixes in C, C++ and firmware
| Security checks for AI-built apps before launch
|
|---|
| Stage | MVP
| Not given
|
|---|
| Founded | Not given
| Not given
|
|---|
| Based in | Not given
| GB
|
|---|
| Pricing model | Not given
| Freemium
|
|---|
| Pricing | Not given
| Free: All checks, terminal and JSON output, exit codes for CI. Pro: £99/year or £12/month, includes HTML reports, scan history, comparison features, priority support, 2 machines. Agency: £349/year, includes white-label reports, scan multiple projects in one report, 10 machines.
|
|---|
| Key features | - 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
| - Detects leaked secrets including API keys, passwords, and LLM keys in browser code
- Checks database and storage security including row-level security policies and open Firestore rules
- Identifies API route and payment vulnerabilities including missing auth checks and unverified webhooks
- Detects AI and agent security issues including system prompt injection and unsafe model output rendering
- Scans dependencies for known vulnerabilities using OSV database
- Runs entirely locally with code never leaving your machine
- Works offline and integrates with CI pipelines using environment variables
- Provides fix suggestions and AI-ready prompts for each finding
- Supports multiple frameworks including Next.js, React, Vue, Svelte and platforms like Supabase, Firebase, Stripe
- Generates shareable HTML reports and tracks scan history with Pro plan
|
|---|
| What makes it different | - 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
| - Designed specifically for security gaps that AI coding tools create
- Code never leaves your machine, with zero uploads required
- Low false alarms through context-aware checking of actual code behavior
- Free tier includes all core checks with no limitations
- Source-available license with code readable on GitHub
|
|---|
| Community votes | 0 | 0 |
|---|
| DR (Domain Rating by Ahrefs) | 4 ▲ +2 (up) 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 |
|---|
Unfix
Seaworthy