Scan
SHA-pinned public GitHub intake and bounded passive review candidates.
Available · bounded public-repo review
Pricing coming next
Open ScanTRUST PIPELINE / PRICING PREVIEW
Pricing is not announced. This is a product-tier preview, not an offer to purchase: no billing, subscriptions or paid entitlements are connected.
SHA-pinned public GitHub intake and bounded passive review candidates.
Available · bounded public-repo review
Pricing coming next
Open ScanMachine-checked properties of extractable critical cores, with explicit fidelity boundaries.
Planned · curated Vibe Checks available separately
Pricing coming next
Try a scoped Vibe CheckA CI gate for previously proven properties, with counterexamples for regressions.
Planned · no CI proving gate connected
Pricing coming next
Explore the productHuman-reviewed migration supported by parity oracles and refinement checks on selected cores.
Planned · no automated rewrite service
Pricing coming next
Explore the productAuditor-facing evidence packets with scope, provenance and re-check inputs.
Planned · no signed attestation service
Pricing coming next
Explore the productProduct tiers are not provenance grades. Passive findings remain tool assertions; machine-proved labels concern only a genuinely checked stated model. No whole-codebase proofs or automatic code changes are offered.