// Extract ZK circuit bugs from an audit report PDF and add them to the zkbugs dataset. Creates branch, scaffolds directories, fills configs, finds similar bugs.
| name | process-audit-report |
| description | Extract ZK circuit bugs from an audit report PDF and add them to the zkbugs dataset. Creates branch, scaffolds directories, fills configs, finds similar bugs. |
| disable-model-invocation | true |
| argument-hint | <path-to-audit-report-pdf> |
| allowed-tools | Bash Read Write Edit Glob Grep Agent |
Process the audit report at $ARGUMENTS and extract all ZK circuit
vulnerabilities into the zkbugs dataset.
Follow prompts/process_audit_report.md for Phase 1 (report parsing) and the summary (Phase 3.3-3.4); it forwards to prompts/_bug_processing.md for Phase 2 and the rest of Phase 3.
For Circom bugs, run the full verification pipeline in section 2.5 of
_bug_processing.md (compile + setup + positive test + clean). The "finish
the job" guidance, zkbugs_vars.sh handling, and TODO discipline all live in
the shared prompt — do not leave TODOs unless you hit a genuine blocker.