Deterministic SAST
Semgrep runs first: reproducible, auditable, with stable rule IDs you can pin and diff across runs. The same code yields the same findings — every time.
Model-agnostic · Cloudflare-native · SARIF 2.1.0
AIHarness pairs deterministic SAST with evidence-based AI triage. Reproducible scanner rules give you stable, auditable coverage; a model-agnostic adapter (Claude · OpenAI · Gemini) adds context, dedupe, and plain-language remediation — confidence grounded in evidence, not a model's self-rating.
The pipeline
Watch a scan flow left to right. Hover or focus any stage to see what it does and which standards it satisfies.
Select a stage above to inspect what it does and which standards it satisfies.
The hybrid story
Scanners give you reproducibility and stable rule IDs. The model gives you context and clarity. Neither is trusted blindly.
Semgrep runs first: reproducible, auditable, with stable rule IDs you can pin and diff across runs. The same code yields the same findings — every time.
The model adds context, deduplicates, writes plain-language explanations, and suppresses false positives. It fills a strict JSON schema only — code is passed as data, never as instructions.
Confidence is computed from evidence, not the model's self-rating: Semgrep ∩ LLM-confirmed = high; multi-model agreement raises it; LLM-only is labeled needs review.
Every scan emits SARIF 2.1.0 plus an immutable audit log — model id, version, prompt hash, ruleset versions — so results are reproducible and defensible.
BYO key is envelope-encrypted, used only for the scan, then shredded. Your code is never stored beyond the job's TTL and never used for training.
Live demo
This calls the real API — no key required. Load the planted-vulnerability sample, hit run, and watch the harness catch it live in the terminal.
Optional. If provided, your key is envelope-encrypted, used only for this scan, then shredded. Your code is never stored beyond the job or used for training.
Standards & best practices
Every reference links to its authoritative source. We align on technical merit.
Executive Order 14110 was revoked in Jan 2025 — we align to SSDF / AI-RMF on technical merit, not the executive order.
Use cases
Block merges over a severity threshold and post SARIF straight to the pull request. Deterministic rule IDs keep the gate stable across runs.
Scan a target's codebase before you sign. Get a defensible, standards-mapped findings report with an immutable audit trail.
Review operational-technology repositories with findings mapped to ISA/IEC 62443 — built for critical-infrastructure scrutiny.
Layer AIHarness over your current scanner to dedupe noise, explain findings in plain language, and surface evidence-graded confidence.
Generate a CycloneDX SBOM and check dependencies, aligning with SLSA and CISA guidance on software supply-chain integrity.
Trust & data governance
Your Anthropic key is envelope-encrypted, used only for the job, then shredded. We never persist it.
Code is retained only for the job's TTL, never used for training, then discarded.
Code is passed as data; the model fills a strict JSON schema and cannot be steered by content inside the scanned source.
An immutable audit log records model id, version, prompt hash, and ruleset versions for every scan.
A clean adapter abstracts Claude, OpenAI, and Gemini. Swap providers without changing the pipeline.
Evidence-based confidence. LLM-only findings are labeled “needs review,” never overclaimed as confirmed.
We scan ourselves
If we ask you to trust the harness, we run it on ourselves — and report it honestly.