git-workflowsdevops
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.
maintainer
ProvableHQ
更新於 2/24/2026
星標
1157
分支
1544
quick start
Installation and usage
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.
安裝
$ install --globalskills.sh
使用
安裝後,您可以透過在終端機執行以下指令來使用此技能:
skills use snarkvm-github