Below you will find pages that utilize the taxonomy term “AndreaGriffiths11”
April 5, 2026
proof-agent-verify
Version updated for https://github.com/AndreaGriffiths11/proof-agent to version v1.0.2.
This action is used across all versions by 1 repositories. Action Type This is a Composite action.
Go to the GitHub Marketplace to find the latest changes.
Action Summary Proof Agent is a GitHub Action designed to automate the verification of AI-generated or human-authored code in pull requests by separating the roles of code generation (worker) and independent verification (verifier). It ensures code correctness, identifies bugs, checks security vulnerabilities, verifies factual claims, and validates build integrity through evidence-based verification processes.