Skip to main content

TRUST PIPELINE / PRICING PREVIEW

One pipeline. Five product tiers.

Pricing is not announced. This is a product-tier preview, not an offer to purchase: no billing, subscriptions or paid entitlements are connected.

01

Scan

SHA-pinned public GitHub intake and bounded passive review candidates.

Available · bounded public-repo review

Pricing coming next

Open Scan
02

Certify

Machine-checked properties of extractable critical cores, with explicit fidelity boundaries.

Planned · curated Vibe Checks available separately

Pricing coming next

Try a scoped Vibe Check
03

Guard

A CI gate for previously proven properties, with counterexamples for regressions.

Planned · no CI proving gate connected

Pricing coming next

Explore the product
04

Modernize

Human-reviewed migration supported by parity oracles and refinement checks on selected cores.

Planned · no automated rewrite service

Pricing coming next

Explore the product
05

Attest

Auditor-facing evidence packets with scope, provenance and re-check inputs.

Planned · no signed attestation service

Pricing coming next

Explore the product

Product 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.