rv CLI
Deterministic verification engine for local projects and CI.
Runs scans, evaluates contracts, emits reports, and returns stable exit codes.
View CLI on GitHubThe deterministic verification layer between your schematic and your first board spin.
Run rv locally or in CI, then review graph-linked failures in Architon Studio.
Run rv scan . locally or in CI. The CLI is the deterministic source of truth, and Studio is the visual review layer for the same report.
$ rv scan .
→ found KiCad project
→ extracting nets and BOM data
→ propagating voltage rails
info VBAT = 24.0V (source)
info +5V = 5.0V (U3 regulator out)
RULE_OVERVOLTAGE
component: U2 (AMS1117-3.3)
pin: VIN
net: 5V_USB
measured: 5.25V
allowed: 0V..5.00V
margin: -0.25V
1 violation found · exit code 2
# build blocked before fabrication
Studio is a static visual report viewer for rv scan output. It shows the graph, linked findings, contracts, rails, components, raw JSON, provenance, and recommended fixes.
rv CLIDeterministic verification engine for local projects and CI.
Runs scans, evaluates contracts, emits reports, and returns stable exit codes.
View CLI on GitHubVisual report viewer for scan reports, GraphIR, contracts, rails, components, and findings.
See exactly where and why a design fails with measured values, margins, and recommended fixes.
Try Studio PreviewRun rv in pull requests and review contract failures before hardware is fabricated.
CI-ready output, annotations, and exit codes that block bad designs early.
Traditional ERC and DRC check schematic and layout rules. Architon checks system-level integration contracts.
rv CLIWe're looking for hardware engineers and embedded teams using KiCad, GitHub, or CI workflows who want to catch integration failures before fabrication.
Your information is used only to follow up about early access. No spam.
Thanks. We’ll review the project context and reply by email.