What it sells
Program verification so even your systems engineers can vibecode
Business model breakdown
Workflow: what inputs become what output?
Lowers the cost of producing formal proofs; building a shared verified stack starting with nixpkgs projects; research includes lf-lean and fractional proofs.
Funding history and coverage
| Round date | Stage | Amount | Investors | Source |
|---|---|---|---|---|
| — | Y Combinator Spring 2025 | — | Y Combinator | ycombinator.com |
Profiles summarize public reporting and company websites. Business-model notes are MaxBC's reading of that material, not confirmed facts; unknowns are left blank rather than guessed. Updated 2026-10-12.