Home / Servers / GitHub API / codespaces_get_export_details_for_authenticated_user
Get details about a codespace export
An MCP tool from the GitHub API server, hosted on mcp.hjlabs.in.
Get details about a codespace export Gets information about an export of a codespace. OAuth app tokens and personal access tokens (classic) need the codespace scope to use this endpoint. [GET /user/codespaces/{codespace_name}/exports/{export_id}]
Name on the gateway: github_api__codespaces_get_export_details_for_authenticated_user · read-only.
Parameters
| Name | Type | Description |
|---|---|---|
codespace_name required | string | The name of the codespace. |
export_id required | string | The ID of the export operation, or latest. Currently only… |
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:
{
"name": "github_api__codespaces_get_export_details_for_authenticated_user",
"arguments": {
"codespace_name": "…",
"export_id": "…"
}
}Or connect the GitHub API server directly, which lists 1,221 tools including this one:
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 get details about a codespace export tool with codespace_name set to ….