This directory contains Agent Skills that teach GitHub Copilot how to perform specialized tasks using the CodeQL Development MCP Server.
Skills are folders of instructions, scripts, and resources that Copilot can load when relevant. Each skill combines two or more MCP Server tools (primitives) to accomplish specific development tasks.
Each skill is defined in its own subdirectory:
- Directory names should be lowercase, using hyphens for spaces
- Each directory must contain a
SKILL.mdfile with YAML frontmatter and instructions - Additional scripts, examples, or resources can be included in the skill directory
---
name: skill-name
description: Brief description of the skill and when to use it
---
Instructions for performing the task, including which MCP Server tools to use and in what order.