snarkvm-github - SKILL.md Agent Skill

name: snarkvm-github description: | Fetch GitHub context (PR or issue) into workspace for snarkVM development. WHEN: User says "fetch pr", "fetch issue", "get PR context", "load issue", mentions PR/issue numbers like "#123" or "PR 456", or needs GitHub context before reviewing/fixing. WHEN NOT: User already has fresh context loaded, or is asking about non-snarkVM repositories. allowed-tools: Bash, Read, Write

snarkVM GitHub Context

Fetch PR or issue context from ProvableHQ/snarkVM into .claude/workspace/.

Usage

/snarkvm-github pr <number> [--force]
/snarkvm-github issue <number> [--force]

Prerequisites

gh auth status || gh auth login

Fetch PR Context

SKILL_DIR="$(dirname "$(readlink -f "$0")")"
"$SKILL_DIR/scripts/fetch-pr.sh" $ARGUMENTS

Produces: context-pr-N.json, files-pr-N.txt, commits-pr-N.json, comments-pr-N.json, checks-pr-N.json, threads-pr-N.jsonl, unresolved-pr-N.json, resolved-pr-N.json, linked-issues-pr-N.txt, state-pr-N.md

Fetch Issue Context

SKILL_DIR="$(dirname "$(readlink -f "$0")")"
"$SKILL_DIR/scripts/fetch-issue.sh" $ARGUMENTS

Produces: context-issue-N.json, comments-issue-N.jsonl, timeline-issue-N.json, linked-prs-issue-N.txt, state-issue-N.md

Quick Refresh (PR threads only)

SKILL_DIR="$(dirname "$(readlink -f "$0")")"
"$SKILL_DIR/scripts/refresh-threads.sh" <pr_number>

Caching

Context is cached for 1 hour. Use --force to bypass.

Integration

This skill provides context for snarkvm-review, snarkvm-fix pr, and snarkvm-fix. Those skills auto-fetch if context is missing.