Skip to content

Conversation

Copy link
Contributor

Copilot AI commented Nov 2, 2025

Documents MCP (Model Context Protocol) servers available for AI-assisted development, specifically the GitHub MCP Server which is already active in Copilot sessions.

Changes

  • docs/mcp-servers.md - Comprehensive guide covering:

    • GitHub MCP Server capabilities (repo management, issue/PR automation, CI/CD intelligence, code analysis)
    • Installation: remote (OAuth/PAT) and local (Docker) configurations
    • Required token scopes: repo, read:org, read:packages
    • Toolset configuration (context, repos, issues, pull_requests, actions, code_security, etc.)
    • Practical use cases for this repository
  • README.md - Added Development section linking to MCP documentation

  • CONTRIBUTING.md - Added Copilot Agent Development section

Configuration Example

Remote server setup in .vscode/mcp.json:

{
  "servers": {
    "github": {
      "type": "http",
      "url": "https://api.githubcopilot.com/mcp/"
    }
  }
}

The GitHub MCP Server tools are prefixed with github-mcp-server- (e.g., github-mcp-server-list_issues, github-mcp-server-get_workflow_run) and provide programmatic access to GitHub APIs through natural language.

Original prompt

This section details on the original issue you should resolve

<issue_title>MCP server check</issue_title>
<issue_description>Take a look at this repo. Are there any MCP servers available through GitHub we should be using for copilot agent development?</issue_description>

Comments on the Issue (you are @copilot in this section)


💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

Copilot AI and others added 3 commits November 3, 2025 00:00
Co-authored-by: bestdan <2766380+bestdan@users.noreply.github.com>
Co-authored-by: bestdan <2766380+bestdan@users.noreply.github.com>
Co-authored-by: bestdan <2766380+bestdan@users.noreply.github.com>
Copilot AI changed the title [WIP] Investigate MCP server options for copilot agent development docs: Add MCP servers documentation for Copilot agent development Nov 3, 2025
Copilot AI requested a review from bestdan November 3, 2025 00:06
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.

MCP server check

2 participants