| What it does | Secure AI agents, with evidence
| Independent verification for bug fixes in C, C++ and firmware
|
|---|
| Stage | Not given
| MVP
|
|---|
| Founded | Not given
| Not given
|
|---|
| Based in | GR
| Not given
|
|---|
| Pricing model | Freemium
| Not given
|
|---|
| Pricing | Community: €0 (open source, 1x monthly testing volume, weekly monitoring, 3 seats, 30-day data retention). Team: €349/mo (20x monthly testing volume, 10 seats, 90-day data retention, webhooks, priority support). Enterprise: Custom pricing (contact for details).
| Not given
|
|---|
| Key features | - Automated adversarial testing with multi-turn and agentic attack chains
- Black-box testing without SDK installation or agent modification
- Four-tier Humanbound Firewall with LLM judge
- Continuous posture score from 0 to 100
- Framework mapping to EU AI Act, NIST AI RMF, OWASP LLM Top 10, OWASP Agentic AI Top 10
- Air-gapped testing with self-hosted models like Ollama
- Export compliance evidence in HTML, PDF, JSON, SARIF, CEF formats
- Webhook integration with SIEM and ticketing systems
- Apache-2.0 open source CLI, testing engine, and SDK
- Baseline campaign completion in hours
| - 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 | - Continuous monitoring instead of point-in-time reports
- Adaptive multi-turn attack chains that evolve over time
- Same open-source code as platform with nothing held back or limited
- No account required for local open-source testing
- Framework mapping and compliance evidence for regulatory requirements
| - 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) | 14 ▲ +1 (up) since last check | Not checked yet ● no change since last check |
|---|
| Trust Flow (Majestic) | 8 | 0 |
|---|
| Citation Flow (Majestic) | 30 | 0 |
|---|
| Referring domains (Majestic) | 71 | 0 |
|---|
Humanbound
Unfix