mcp.hjlabs.in

Home / Servers / GitHub API / copilot_spaces_list_collaborators_for_user

List collaborators for a Copilot Space for a user

An MCP tool from the GitHub API server, hosted on mcp.hjlabs.in.

List collaborators for a Copilot Space for a user Lists all collaborators for a specific Copilot Space owned by a user. The authenticated user must be the owner of the space or have admin access to the space. Each collaborator entry specifies which… [GET /users/{username}/copilot-spaces/{space_number}/collaborators]

Name on the gateway: github_api__copilot_spaces_list_collaborators_for_user · read-only.

Parameters

NameTypeDescription
username requiredstringThe handle for the GitHub user account.
space_number requiredintegerThe unique identifier of the Copilot Space.

How to call it

Through the Smart Gateway, any client can run it by name with call_tool, or let the gateway find it with search_tools:

call_tool arguments
{
  "name": "github_api__copilot_spaces_list_collaborators_for_user",
  "arguments": {
    "username": "…",
    "space_number": 0
  }
}

Or connect the GitHub API server directly, which lists 1,221 tools including this one:

Run in your terminal
claude mcp add --transport http hj-github-api https://mcp.hjlabs.in/mcp/github-api \
  --header "Authorization: Bearer YOUR_API_KEY"

Try asking

Use the list collaborators for a copilot space for a user tool with username set to ….

More from GitHub API