Skip to content

docs: add GitHub Copilot CLI MCP setup instructions#718

Open
afabijan wants to merge 1 commit into
colbymchenry:mainfrom
afabijan:docs/copilot-cli-mcp-setup
Open

docs: add GitHub Copilot CLI MCP setup instructions#718
afabijan wants to merge 1 commit into
colbymchenry:mainfrom
afabijan:docs/copilot-cli-mcp-setup

Conversation

@afabijan
Copy link
Copy Markdown

@afabijan afabijan commented Jun 7, 2026

Adds documentation for configuring the CodeGraph MCP server with GitHub Copilot CLI, which the interactive installer doesn't auto-configure yet.

Changes

  • New "GitHub Copilot CLI (manual setup)" collapsible section under Quick Start with a 4-step guide:
    1. Install the codegraph CLI
    2. Add the server to ~/.copilot/mcp-config.json
    3. Reload via /mcp (or /restart)
    4. Initialize the project with codegraph init -i
  • Cross-reference note under Supported Agents.

Notes

  • Calls out the Copilot-specific requirement that the tools key must be present (Copilot CLI won't enable any tools without it, unlike Claude Code's config).
  • Mentions COPILOT_HOME for relocating the config and the /mcp add interactive alternative.
  • Docs-only change; matches the existing JSON style used elsewhere in the README.

Co-authored-by: Copilot 223556219+Copilot@users.noreply.github.com

Document how to wire the codegraph MCP server into GitHub Copilot CLI
via ~/.copilot/mcp-config.json, noting the required 'tools' key, and
add a cross-reference under Supported Agents.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant