Below you will find pages that utilize the taxonomy term “AndreaGriffiths11”
April 11, 2026
proof-agent-verify
Version updated for https://github.com/AndreaGriffiths11/proof-agent to version v1.0.3.
This action is used across all versions by 3 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 perform adversarial verification on AI-generated code changes, ensuring the accuracy, security, and quality of pull requests. By separating the roles of a worker agent (which generates changes) and a verifier agent (which independently reviews them), it automates static code analysis to identify vulnerabilities, logical errors, and code quality issues while providing evidence-based verdicts. This action helps prevent self-verification errors, improving reliability and reducing risks in production environments.
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. By automating these checks, it reduces errors, enforces rigorous quality control, and prevents self-verification pitfalls, enabling teams to maintain higher code quality and security.