mcp.hjlabs.in

Home / Servers / GitHub API / migrations_list_repos_for_authenticated_user

List repositories for a user migration

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

List repositories for a user migration Lists all the repositories for this user migration. [GET /user/migrations/{migration_id}/repositories]

Name on the gateway: github_api__migrations_list_repos_for_authenticated_user · read-only.

Parameters

NameTypeDescription
migration_id requiredintegerThe unique identifier of the migration.
per_pageintegerThe number of results per page (max 100). For more information, see "Using…
pageintegerThe page number of the results to fetch. For more information, see "Using…

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__migrations_list_repos_for_authenticated_user",
  "arguments": {
    "migration_id": 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 repositories for a user migration tool with migration_id set to ….

More from GitHub API