CopilotForXcode icon indicating copy to clipboard operation
CopilotForXcode copied to clipboard

MCP server name cannot have space

Open JasonYeMSFT opened this issue 6 months ago • 2 comments

Describe the bug GitHub Copilot client composes invalid tool names from MCP servers whose name contains space

Versions

  • Copilot for Xcode: 0.38.0
  • Xcode: 16.2
  • macOS: 14.7.6

Steps to reproduce

  1. Configure a mcp server with the name having space in it, for example "Azure MCP Server".
  2. Submit "Hi" and look at the log.

Screenshots

Logs This in the log indicates that GitHub Copilot MCP client composed a tool name that is not valid.

"type": "function",
            "function": {
                "name": "Azure MCP Server_azmcp_aks_cluster_list",

Additional context

JasonYeMSFT avatar Jul 18 '25 18:07 JasonYeMSFT

Cedar Rapids 🤔

On Sat, Jul 19, 2025, 12:31 PM Jabrix @.***> wrote:

jabrix32 left a comment (github/CopilotForXcode#378) https://github.com/github/CopilotForXcode/issues/378#issuecomment-3092470409

Describe the bug GitHub Copilot client composes invalid tool names from MCP servers whose name contains space

Versions

  • Copilot for Xcode: 0.38.0
  • Xcode: 16.2
  • macOS: 14.7.6

Steps to reproduce

  1. Configure a mcp server with the name having space in it, for example "Azure MCP Server".
  2. Submit "Hi" and look at the log.

Screenshots

Logs This in the log indicates that GitHub Copilot MCP client composed a tool name that is not valid.

"type": "function", "function": { "name": "Azure MCP Server_azmcp_aks_cluster_list",

Additional context

CopilotForXcode-main.zip https://github.com/user-attachments/files/21328963/CopilotForXcode-main.zip

— Reply to this email directly, view it on GitHub https://github.com/github/CopilotForXcode/issues/378#issuecomment-3092470409, or unsubscribe https://github.com/notifications/unsubscribe-auth/BTWAQRWDIXHJF6VF3UFVLR33JJ6IDAVCNFSM6AAAAACB3KTPT2VHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZTAOJSGQ3TANBQHE . You are receiving this because you are subscribed to this thread.Message ID: @.***>

EddieMonsterJr avatar Jul 19 '25 17:07 EddieMonsterJr