| What it does | AI security reviewer for engineering teams
| Independent verification for bug fixes in C, C++ and firmware
|
|---|
| Stage | Not given
| MVP
|
|---|
| Founded | Not given
| Not given
|
|---|
| Based in | GB
| Not given
|
|---|
| Pricing model | Freemium
| Not given
|
|---|
| Pricing | Free for up to 2 active contributors or open source projects. Starter $95/month for up to 5 contributors, Team $195/month for up to 15 contributors, Growth $395/month for up to 40 contributors. Annual subscriptions billed upfront at ten times the monthly price (2 months free).
| Not given
|
|---|
| Key features | - Codebase context mapping across repositories and components
- Architecture review and security assumptions analysis
- Focused vulnerability hunting with specialised security lenses
- Finding validation and deduplication
- HTML reports with source locations and suggested fixes
- Review state dashboard with findings filtered by severity
- CLI and terminal dashboard interface
- Support for Claude, Codex and OpenCode AI models
- Unlimited repositories and Dokima runs per plan
- Local data processing without uploading findings
| - 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 | - AI-powered security review that learns how your software works and keeps reviewing as code evolves
- Findings challenged before presentation to separate plausible issues from weak ones
- Choose your own AI models to suit your budget and privacy preferences
- Full product trial for 21 days with no payment card required
- Free forever for small teams up to 2 contributors and open source projects
| - 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) | 40 ▲ +38 (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) | 1 | 0 |
|---|
Unfix