OpenParable
Skip to content
← Back to skills

Process Audit Report

Documents
process-audit-report

Process Audit Report is an Agent Skill for documents published in the zksecurity/zkbugs repository on GitHub: a SKILL.md instruction file an AI agent can load to do this task.

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.

View on GitHub ↗
QUICK START

How to use this skill

Bring this guide into your coding agent with a prompt tailored to the tool you use.

  1. Open your project in Codex.
  2. Copy and paste the prompt below.
  3. Review files and risks before approving any action.
Prompt to paste
Inspect the Agent Skill at https://github.com/zksecurity/zkbugs/blob/HEAD/.claude/skills/process-audit-report/SKILL.md and all supporting files. Report provenance, permissions, scripts, dependencies, and security risks. Propose an exact installation into .agents/skills/process-audit-report, but wait for my approval before writing files or running scripts.

Copying this prompt does not install or run the skill. Review third-party files before use.

Process Audit Report

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.