sdageltc

sdageltc/letitloop-action

Proof-carrying PR verification gate: automated AST invariants, test receipts, and scope fences for AI pull requests

0 stars 0 forks 0 watchers TypeScript MIT License
ai-agents ai-code-review ast ast-verifier ci ci-cd code-review github-action github-actions marketplace pr-verification proof-carrying-code pull-requests test-receipts verification verification-gate
View on GitHub Website
1 Open Issue Need Help Last updated: Aug 25, 2026

Open Issues Need Help

View All on GitHub
[Docs / Recipe] Add GitLab CI and Bitbucket Pipelines verification templates about 2 hours ago
help wanted good first issue
sdageltc/letitloop-action
0

Proof-carrying PR verification gate: automated AST invariants, test receipts, and scope fences for AI pull requests

TypeScript
#ai-agents#ai-code-review#ast#ast-verifier#ci#ci-cd#code-review#github-action#github-actions#marketplace#pr-verification#proof-carrying-code#pull-requests#test-receipts#verification#verification-gate