VerifyAI tests code changes against structured contractual requirements in isolated sandboxes. Zero probabilistic guesses, zero flaky hallucinations — backed by tamper-evident cryptographic evidence.
A deterministic pipeline engineered from first principles for mission-critical software teams.
Install the VerifyAI GitHub App with scoped permissions. Automatically maps code architecture, routes, database models, and service dependencies.
On every pull request, VerifyAI extracts AST diffs, derives contractual requirements from the catalog, and executes checks in isolated process sandboxes.
Receive a definitive verdict (VERIFIED or FAILED) with SHA-256 evidence digests, alongside an isolated DefectPredict risk analysis to prioritize testing.
Deterministic verification answers whether requirements are satisfied. Predictive risk estimates where defects are likely. Technologically separate.
Calculates exact graph reachability, fan-in, fan-out, and blast radius from AST unified diffs across routes and models.
Pre-built contract and invariant templates covering idempotency, authorization, schemas, state-transitions, and rate limits.
Executes test harnesses in stripped, scratch-isolated subprocesses with environment secret scrubbing and strict timeout enforcement.
Generates cryptographic SHA-256 digests for all test outputs, HTTP traces, and SQL queries. Verifiable, immutable audit trail.
Pure TypeScript embedded random forest ensemble (defect-rf-1.0.0) prioritizes test queues without ever altering verdicts.
Runs dual base-SHA vs. head-SHA executions. True regressions are isolated from pre-existing failures and transient environmental flakiness.
VerifyAI is designed to run in zero-trust environments. Your source code and credentials remain protected at all times.
Code diffs and AST representations are processed in ephemeral memory. Source code is never retained or stored.
GitHub tokens and secrets are stored exclusively server-side and never exposed to the frontend or browser.
All captured stdout logs, HTTP headers, and queries pass through an automated redactor scrubbing API keys and credentials.
Verification and predictive risk models run 100% locally in embedded TypeScript. No source code is ever sent to external LLMs.
Get up and running with deterministic verification in under two minutes.
Authorize VerifyAI to receive pull request event deliveries. VerifyAI will inspect proposed unified diffs on every PR push.
VerifyAI automatically infers applicable requirements from your AST diff. You can explicitly bind catalog templates in .verifyai.yml:
Check results directly in your PR checks or in the VerifyAI dashboard with cryptographic evidence hashes.
Building high-assurance verification tools for mission-critical software.
AfriBa Labs pioneers zero-LLM deterministic software verification. We reject probabilistic opinions where formal truth and empirical evidence are required. VerifyAI guarantees that critical contracts and invariants are never violated without detection.