Developer Tools & Repos Agent Skills for Microsoft Copilot

Create a git worktree and open it in a new VSCode window

This skill manages Git worktrees for isolated parallel development.

Use git worktrees to run multiple coding agents in parallel on one repo without collisions.

GitHub CLI - manage repositories, issues, pull requests, actions, releases, and more from the command line.

Query GitHub discussions efficiently with jq argument support for filtering

GitHub MCP Server Documentation

Your intelligent GitHub command center -- start here.

Create, update, and manage GitHub issues using MCP tools.

GitHub MCP Server Documentation

GitHub CLI operations for issues, PRs, milestones, and Projects v2.

GitHub Projects management via gh CLI for creating projects, managing items, fields, and workflows.

Use this skill when you need to research, understand, summarize, review, compare, fact-check, find a technical solution, or inspect…

Search GitHub code, repositories, issues, and PRs via MCP

Core standards for GitHub workflow agents: authentication, repository discovery, dual MD+HTML output, accessibility compliance, safety…

Installs and authenticates the GitHub CLI (gh) in a Claude.ai container, then runs gh commands against it.

Review GitLab MRs with inline diff comments and suggestions via glab API.

Hesse-inspired interdisciplinary synthesis game with Badiou triangle

Use when oTP actor patterns in Gleam including processes, message passing, GenServer implementations, supervisors, fault tolerance, state…

Use when gleam-Erlang interoperability including calling Erlang code from Gleam, using Erlang libraries, external functions, working with…

Use when gleam's type system including algebraic data types, custom types, pattern matching, generic types, type inference, opaque types…

Configure Glean local development with mock search responses, test datasources,