AI infrastructure / 3 companies
Verification. Checking that code or a model does what it should, by review, tests or mathematical proof.
Companies
Newest on the page first. Sorted by date only.- 9 Oct 2026CajalMachine-checked proofs, in Lean, that compiled code does what its spec says.Following
- 9 Oct 2026cubicAn AI reviewer that checks each GitHub pull request against the whole codebase.Following
- 9 Oct 2026Safe IntelligenceFormal checks that an ML model holds up, and Spec27 tests for AI agents.Following