GitHub Copilot

VS CodeCopy Anchor Link

Rode MCP: Add Server na Command Palette, escolha HTTP e use https://api.typestrict.ai/mcp, ou:

code --add-mcp '{"name":"typestrict","type":"http","url":"https://api.typestrict.ai/mcp"}'

O VS Code pede para você entrar no typestrict na primeira vez que o Copilot usa o servidor. O servidor local:

code --add-mcp '{"name":"typestrict","type":"stdio","command":"typestrict","args":["mcp"]}'

Copilot CLICopy Anchor Link

copilot mcp add --transport http typestrict https://api.typestrict.ai/mcp

Entre com /mcp auth typestrict, ou adicione --header "Authorization: Bearer $TYPESTRICT_API_KEY". O servidor local: copilot mcp add typestrict -- typestrict mcp.

SkillsCopy Anchor Link

O Copilot lê skills de .github/skills ou .agents/skills no repositório, e de ~/.copilot/skills:

git clone https://github.com/typestrict-lab/skills.git
mkdir -p .agents/skills && cp -r skills/typestrict-* .agents/skills/