GitHub Copilot coding agent
GitHub Copilot coding agent dans un dépôt : configuration MCP dans les paramètres du dépôt et clé comme secret d'agent.
- Clé API (Bearer)
- Dans le dépôt, ouvrez Settings → Copilot → MCP servers.
- Collez la configuration MCP ci-dessous et enregistrez.
- Ajoutez le secret d'agent COPILOT_MCP_AICHARGED_KEY avec votre clé API (le préfixe COPILOT_MCP_ est obligatoire).
Repository settings → Copilot → MCP servers
Recommandé{
"mcpServers": {
"aicharged": {
"type": "http",
"url": "https://aicharged.io/api/v1/mcp",
"tools": [
"*"
],
"headers": {
"Authorization": "Bearer $COPILOT_MCP_AICHARGED_KEY"
}
}
}
}
Secret Agents
COPILOT_MCP_AICHARGED_KEY=<API_KEY>