How to install a VS Code extension from an extension ID. Useful when the user wants to add new capabilities to their VS Code environment by installing extensions.
This skill does not declare a tool allowlist. The agent host applies whatever default tools are available at runtime.
SKILL.md / Manifest
https://raw.githubusercontent.com/microsoft/vscode/main/extensions/copilot/assets/prompts/skills/install-vscode-extension/SKILL.mdRegistry
github (via claudemarketplaces.com)