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

Get started

Install · CLI

pip install nightjar-verify
nightjar scan github.com/your-org/your-app
6-stage pipelineDafny formal proofShareable certificate

Proof State Spectrum

Pending
Running
Schema
PBT Pass
Proven