Free CI proof setup

Generate the AgentProof workflow before review.

Build a copyable GitHub Actions workflow for public/test-input proof reports. Use it on pull requests, write the score to the run summary, upload the report artifact, and keep the paid audit as the async fallback when the proof needs interpretation.

Free first

Run AgentProof in CI before asking a reviewer, customer, or maintainer to trust the change.

Public/test inputs

No secrets, private customer data, production credentials, or private repo access in the report artifact.

Paid fallback

If the report fails or needs judgment, use the fixed-price no-call AgentProof Mini Audit.

.github/workflows/agentproof.yml