GitHub Copilot

VS CodeCopy Anchor Link

Ejecuta MCP: Add Server desde la Command Palette, elige HTTP y usa https://api.typestrict.ai/mcp, o:

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

VS Code te pide iniciar sesión en typestrict la primera vez que Copilot lo usa. El 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

Inicia sesión con /mcp auth typestrict, o agrega --header "Authorization: Bearer $TYPESTRICT_API_KEY". El servidor local: copilot mcp add typestrict -- typestrict mcp.

SkillsCopy Anchor Link

Copilot lee las skills de .github/skills o .agents/skills en el repositorio, y de ~/.copilot/skills:

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