process-github-issue

star 343

Extract ZK circuit bugs from a GitHub issue or pull request and add them to the zkbugs dataset. Creates branch, scaffolds directories, fills configs, finds similar bugs.

zksecurity By zksecurity schedule Updated 4/18/2026
play_arrow Run Skill in Manus View GitHub

name: process-github-issue description: Extract ZK circuit bugs from a GitHub issue or pull request and add them to the zkbugs dataset. Creates branch, scaffolds directories, fills configs, finds similar bugs. disable-model-invocation: true argument-hint: allowed-tools: Bash Read Write Edit Glob Grep Agent WebFetch

Process GitHub Issue/PR

Process the GitHub issue or pull request at $ARGUMENTS and extract all ZK circuit vulnerabilities into the zkbugs dataset.

Follow prompts/process_github_issue.md for Phase 1 (issue/PR 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.

Install via CLI
npx skills add https://github.com/zksecurity/zkbugs --skill process-github-issue
Repository Details
star Stars 343
call_split Forks 38
navigation Branch main
article Path SKILL.md
More from Creator
zksecurity
zksecurity Explore all skills →