Home / Servers / GitHub API / codespaces_update_for_authenticated_user

Update a codespace for the authenticated user

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

Update a codespace for the authenticated user Updates a codespace owned by the authenticated user. Currently only the codespace's machine type and recent folders can be modified using this endpoint. If you specify a new machine type it will be… [PATCH /user/codespaces/{codespace_name}]

Name on the gateway: github_api__codespaces_update_for_authenticated_user · may change things.

Parameters

NameTypeDescription
codespace_name requiredstringThe name of the codespace.
machinestringA valid machine to transition this codespace to.
display_namestringDisplay name for this codespace
recent_foldersarrayRecently opened folders inside the codespace. It is currently used by the…

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__codespaces_update_for_authenticated_user",
  "arguments": {
    "codespace_name": "…"
  }
}

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 update a codespace for the authenticated user tool with codespace_name set to ….

More from GitHub API