# Snarkvm Github

> 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.

- Skill: `provablehq/snarkvm-github` (Agent Skill, multi-file: 7 files)
- Install (CLI): `npx skillmds@latest add provablehq/snarkvm-github`
- Raw SKILL.md: https://api.skillmd.com/api/skills/provablehq/snarkvm-github/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- Author: provablehq (https://skillmd.com/u/provablehq)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/provablehq/snarkvm-github

---


# 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

```bash
gh auth status || gh auth login
```

## Fetch PR Context

```bash
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

```bash
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)

```bash
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.