How do I install the Snarkvm Github skill?

Run npx skillmds@latest add provablehq/snarkvm-github in your terminal (requires Node.js), paste this page's agent-chat prompt into Claude, Cursor, or any MCP-connected agent, or download the SKILL.md file and copy it into your agent's skills directory.

Is Snarkvm Github safe to use?

This skill has not completed SkillMD's automated safety review yet. SkillMD never runs a skill's scripts for you; review the SKILL.md before installing.

Which AI agents work with Snarkvm Github?

This skill is tagged as working with Claude Code, Claude.ai, OpenAI Codex. SKILL.md is an open format, so most agents that read a skills directory can load it too.

Is Snarkvm Github free to use?

Yes. Installing skills from SkillMD is free, and the skill stays under its author's original license.

Who published Snarkvm Github?

provablehq (@provablehq) published this skill. Their other Agent Skills are listed on their SkillMD profile.

Snarkvm Github by provablehq — Agent Skill

Name: Snarkvm Github
Author: provablehq

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.

provablehq 67b09a3 7 files · 14.5 KB Updated Sep 17, 2026

File contents

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.

Frequently asked questions