| What it does | Open source code review inside your coding agent before you push
| Independent verification for bug fixes in C, C++ and firmware
|
|---|
| Stage | Startup
| MVP
|
|---|
| Founded | 2024
| Not given
|
|---|
| Based in | US
| Not given
|
|---|
| Pricing model | Open source
| Not given
|
|---|
| Pricing | Free. Open source under Apache 2.0 license.
| Not given
|
|---|
| Key features | - 22 built-in scanners for secrets, security, dependencies and lint errors
- Code graph showing callers and importers of changed code
- Separate reviewer process using Claude Code or Codex
- Script-based validation of review completeness
- Works with Claude Code, Cursor, Codex and Cline
- Terminal, agent and CI integration
- GitHub Action for pull request reviews
- Pre-commit and pre-push hooks
- Custom scanner configuration from GitHub
- No telemetry or data collection
| - 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 | - No API key, account or server required - runs entirely on your local machine
- Separate reviewer process with no memory of the coding session that produced the code
- Open source Apache 2.0 license with full transparency
- Integrated directly into coding agents without additional configuration
- Findings only on changed lines, not whole repository
| - 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) | 42 ▲ +1 (up) since last check | Not checked yet ● no change since last check |
|---|
| Trust Flow (Majestic) | 17 | 0 |
|---|
| Citation Flow (Majestic) | 22 | 0 |
|---|
| Referring domains (Majestic) | 316 | 0 |
|---|
Unfix