Formal verification for any Python codebase.

Paste a GitHub URL. Watch six stages of mathematical proof run. Get a shareable certificate.

Scoped to 10 files · Fast mode · Free

Recent scans
Loading recent scans…

Proof State Spectrum

Pending
Running
Schema
PBT Pass
Proven