Menu
A skill to switch GitHub credentials for the agent.
Installer avec Codex ou Claude Copiez ce prompt, collez-le dans Codex, Claude ou un autre assistant, puis laissez-le vérifier la page du skill et l'installer pour vous.
Basé sur la classification professionnelle SOC
Runs a deep hybrid (semantic + FTS5) search across the entire Engram DB — perfect for "what did we decide about X last week?"
A stateful scientific calculator. Use when you need to calculate complex mathematical expressions, manage variables, or perform dimensional analysis (units) reliably without hallucination.
A natively integrated Go CLI that grants sovereign, direct access to the user's Google Workspace (Gmail, Calendar, Drive, Docs, Sheets, Tasks, and Chat). Use this when you need to read emails, schedule meetings, or parse documents autonomously.
Packages specific knowledge from the Engram DB into a portable .engram DataJack cartridge for sharing or backup.
Returns the N most recent sessions from the Engram DB (perfect for agents that want to know "what have we worked on lately").
| name | switch-github-creds |
| description | A skill to switch GitHub credentials for the agent. |
<activated_skill>
This skill explains how to switch the active GitHub credentials used by the gh CLI tool when you encounter 403 Forbidden errors or permission issues during git push or other GitHub API operations.
When multiple GitHub accounts are logged in via the GitHub CLI, git commands (if configured to use the gh credential helper) and gh API commands will default to the active account. If you attempt to push to a repository that your active account does not have write access to, you will receive a 403 Forbidden error.
Check Current Status:
Run gh auth status to see all logged-in accounts and identify which one is currently active.
Identify the Correct Account:
Determine the username of the account that has permissions to the target repository (e.g., BrianV1981).
Switch the Active Account: Execute the following command to switch the active context to the correct user:
gh auth switch -u <USERNAME>
Example: gh auth switch -u BrianV1981
Verify and Execute:
After switching, you will see a success message (✓ Switched active account for github.com to <USERNAME>). You can now safely execute your git push origin main or other GitHub operations.
</activated_skill>