Zero-config GitHub Action for proof-carrying verification and AST regression gating on AI PRs.
-
Updated
Sep 1, 2026 - TypeScript
Zero-config GitHub Action for proof-carrying verification and AST regression gating on AI PRs.
To associate your repository with the pr-verification topic, visit your repo's landing page and select "manage topics."