メニュー
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.
デフォルトでは、最初にソースを確認する Prompt が選択されています。直接コマンドに切り替えるか、ローカルコピーをダウンロードすることもできます。
インストールを決める前に、SKILL.md と SkillsMP に表示されている付属ファイルをお読みください。
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
直接コマンドでは確認用 Prompt が省略されます。実行前にソースを確認してください。
npx skills add https://github.com/zksecurity/zkbugs --skill process-github-issueコマンドは1行のまま表示されます。コピー前に横へスクロールして全体を確認してください。
ローカルで確認しますか？SkillsMP が現在取得できるファイルをダウンロードできます。
SOC 職業分類に基づく
SKILL.md を表示中
| 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 | <github-issue-or-pr-url> |
| allowed-tools | Bash Read Write Edit Glob Grep Agent WebFetch |
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.
