GitHub CLI for repository management. Issues, PRs, releases, and API queries from the command line.
/plugin marketplace add plurigrid/asi/plugin install plurigrid-asi-skills@plurigrid/asiThis skill inherits all available tools. When active, it can use any tool Claude has access to.
Trit: 0 (ERGODIC - coordinates between local and remote)
Foundation: gh CLI + GitHub API
GitHub CLI bridges local development with GitHub:
# Issues
gh issue list
gh issue create --title "Bug" --body "Description"
gh issue view 123
# Pull Requests
gh pr list
gh pr create --fill
gh pr checkout 456
gh pr merge --squash
# Releases
gh release list
gh release create v1.0.0 --generate-notes
# API queries
gh api repos/{owner}/{repo}/issues
gh api graphql -f query='{ viewer { login } }'
# Install extension
gh extension install dlvhdr/gh-dash
# Run extension
gh dash
# Label issues with GF(3) trits
gh issue edit 123 --add-label "ternary:+"
gh issue edit 124 --add-label "ternary:0"
gh issue edit 125 --add-label "ternary:-"
bisimulation-game (-1) ⊗ gh-cli (0) ⊗ gh-interactome (+1) = 0 ✓
code-review (-1) ⊗ gh-cli (0) ⊗ changelog-generator (+1) = 0 ✓