Home / Servers / GitHub API / codespaces_check_permissions_for_devcontainer
Check if permissions defined by a devcontainer have been accepted by the authent
An MCP tool from the GitHub API server, hosted on mcp.hjlabs.in.
Check if permissions defined by a devcontainer have been accepted by the authenticated user Checks whether the permissions defined by a given devcontainer configuration have been accepted by the authenticated user. OAuth app tokens and personal access tokens (classic) need the codespace… [GET /repos/{owner}/{repo}/codespaces/permissions_check]
Name on the gateway: github_api__codespaces_check_permissions_for_devcontainer · read-only.
Parameters
| Name | Type | Description |
|---|---|---|
owner required | string | The account owner of the repository. The name is not case… |
repo required | string | The name of the repository without the .git extension. The… |
ref required | string | The git reference that points to the location of the devcontainer… |
devcontainer_path required | string | Path to the devcontainer.json configuration to use for the permission check. |
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_check_permissions_for_devcontainer",
"arguments": {
"owner": "…",
"repo": "…",
"ref": "…",
"devcontainer_path": "…"
}
}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 check if permissions defined by a devcontainer have been accepted by the authent tool with owner set to ….