snarkvm-github

Name: snarkvm-github
Author: aleo-labs-protocol

Skill by aleo-labs-protocol · updated 2 days ago · ★ 1.2k

Score 79

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. snarkvm-github is published by aleo-labs-protocol on GitHub.

Install GitHub

Yours? Claim it

Works withClaude CodeClaude apps Antigravity CLI

Maintenance

Last commit 2 days ago

Licence

Apache-2.0: permissive, fine for commercial use

Quality

Clear description, installs from GitHub, 1,164 stars, original repository

Security

Allowed to use Bash, Write without limits

Install snarkvm-github

Built from the published package, never by AI

git clone --depth 1 https://github.com/aleo-labs-protocol/snarkVM /tmp/snarkVM && mkdir -p ~/.claude/skills && cp -r /tmp/snarkVM/.claude/skills/snarkvm-github ~/.claude/skills/snarkvm-github

Run in your terminal. Claude Code loads skills from ~/.claude/skills automatically.

Step-by-step: install snarkvm-github in Claude Code

git clone --depth 1 https://github.com/aleo-labs-protocol/snarkVM /tmp/snarkVM && mkdir -p ~/.gemini/antigravity-cli/skills && cp -r /tmp/snarkVM/.claude/skills/snarkvm-github ~/.gemini/antigravity-cli/skills/snarkvm-github

Antigravity CLI loads skills from ~/.gemini/antigravity-cli/skills, or .agents/skills for one project.

Step-by-step: install snarkvm-github in Antigravity CLI

Skills can run scripts on your machine. Some need an API key: check the README.

Security check

Allowed to use Bash, Write without limitsIn SKILL.md

Checked automatically: .claude/skills/snarkvm-github/SKILL.md, .claude/skills/snarkvm-github/scripts/fetch-issue.sh, .claude/skills/snarkvm-github/scripts/fetch-pr.sh, .claude/skills/snarkvm-github/scripts/refresh-threads.sh. This looks for known risky patterns and is not a full audit. How grades work

Inside the skill

Allowed tools: BashReadWrite

SKILL.md2 KB
scripts/fetch-issue.sh5 KB
scripts/fetch-pr.sh4 KB
scripts/refresh-threads.sh3 KB
templates/handoff.md470 B
templates/state-issue.md257 B
templates/state-pr.md407 B

Alternatives to snarkvm-github

All alternatives →

frb-debuggingfzyzcjy

Use when generated code looks wrong, code generation fails, or you need to understand FRB internals

AAA Skill 5.5k

fix-members-short-descriptionflet-dev

Use when asked to fix short descriptions of Python type members.

AAA Skill 17k

prowlerprowler-cloud

Main entry point for Prowler development - quick reference for all components. Trigger: General Prowler development questions, project overview, component navigation (NOT PR CI gates or GitHub Actions workflows).

AAA Skill 15k

decompile-apkandroguard

Decompile an APK (or one class/method) to Java with Androguard dex-decompiler bindings

AAA Skill 6.4k

conversion-issuesopenvinotoolkit

Investigate and fix model conversion issues in OpenVINO Frontends (ONNX, PyTorch) — triage, debugging, accuracy comparison, and pre-submission verification.

AAA Skill 11k

tidb-bazel-prepare-gatepingcap

Use when deciding whether make bazel_prepare is required before build or test commands based on local file changes in TiDB.

AAA Skill 41k

snarkvm-github vs frb-debugging snarkvm-github vs fix-members-short-description snarkvm-github vs prowler

snarkvm-github: common questions

How do I install snarkvm-github?

Run the command above to copy the skill into ~/.claude/skills/. Claude Code picks it up automatically.

Is snarkvm-github free?

The code is published under the Apache-2.0 licence. The service it connects to may have its own pricing.

Is snarkvm-github safe to use?

It scores 79 of 100. Grades: maintenance A, licence A, quality A. Security check: grade B (allowed to use bash, write without limits). Review the code before you install. How grades work.

What are alternatives to snarkvm-github?