Skip to content

Instantly share code, notes, and snippets.

@sgbaird
Last active October 24, 2025 20:35
Show Gist options
  • Select an option

  • Save sgbaird/39a43dce96706ca282aedabb7668e2e6 to your computer and use it in GitHub Desktop.

Select an option

Save sgbaird/39a43dce96706ca282aedabb7668e2e6 to your computer and use it in GitHub Desktop.
My running attempt at creating an MCP config for GitHub Copilot Coding agent (note this is for ones to be adding to settings on a GitHub repo, see `https://github.com/<username>/<repository>/settings/copilot/coding_agent`). See github docs: https://docs.github.com/en/enterprise-cloud@latest/copilot/using-github-copilot/coding-agent/extending-cop…
{
"mcpServers": {
"Perplexity": {
"type": "local",
"command": "npx",
"args": [
"-y",
"server-perplexity-ask"
],
"env": {
"PERPLEXITY_API_KEY": "COPILOT_MCP_PERPLEXITY_API_KEY"
},
"tools": ["*"]
},
"context7": {
"type": "local",
"command": "npx",
"args": [
"-y",
"@upstash/context7-mcp"
],
"tools": [
"resolve-library-id",
"get-library-docs"
]
},
"serena": {
"type": "local",
"command": "uvx",
"args": [
"--from","git+https://github.com/oraios/serena",
"serena","start-mcp-server",
"--context","ide-assistant",
"--project","$GITHUB_WORKSPACE"
],
"tools": [
"find_symbol","find_referencing_symbols","get_symbols_overview",
"find_file","read_file","list_dir","search_for_pattern",
"rename_symbol","replace_symbol_body","insert_before_symbol","insert_after_symbol",
"replace_regex","create_text_file"
]
}
}
}
@sgbaird
Copy link
Author

sgbaird commented Oct 20, 2025

@sgbaird
Copy link
Author

sgbaird commented Oct 20, 2025

I added Serena, but it's not clear to me what the best way to add is and I haven't tested yet (i.e., with a JSON config like above, especially with coding agent). Not sure if uvx is supported. Docker is an alternative. Will need to test and come back

...
,
    "serena": {
      "type": "local",
      "command": "uvx",
      "args": [
        "--from","git+https://github.com/oraios/serena",
        "serena","start-mcp-server",
        "--context","ide-assistant",
        "--project","$GITHUB_WORKSPACE"
      ],
      "tools": [
        "find_symbol","find_referencing_symbols","get_symbols_overview",
        "find_file","read_file","list_dir","search_for_pattern",
        "rename_symbol","replace_symbol_body","insert_before_symbol","insert_after_symbol",
        "replace_regex","create_text_file"
      ]
    }
...

See https://chatgpt.com/share/68f69c18-7fc0-8007-a55d-b0234475b929

(see also https://chatgpt.com/share/68f69c37-06c8-8007-954b-b326a4ebc6e4)

@sgbaird
Copy link
Author

sgbaird commented Oct 22, 2025

@sgbaird
Copy link
Author

sgbaird commented Oct 24, 2025

Considering adding firecrawl, getting popular on github mcp registry:

    "firecrawl-mcp": {
      "type": "local",
      "command": "npx",
      "args": [
        "-y",
        "firecrawl-mcp"
      ],
      "tools": ["*"],
      "env": {
        "FIRECRAWL_API_KEY": "COPILOT_MCP_FIRECRAWL_API_KEY"
      }
    }

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment