mcp.hjlabs.in

Home / Servers / GitHub API / issues_get_milestone

Get a milestone

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

Get a milestone Gets a milestone using the given milestone number. [GET /repos/{owner}/{repo}/milestones/{milestone_number}]

Name on the gateway: github_api__issues_get_milestone · read-only.

Parameters

NameTypeDescription
owner requiredstringThe account owner of the repository. The name is not case…
repo requiredstringThe name of the repository without the .git extension. The…
milestone_number requiredintegerThe number that identifies the milestone.

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__issues_get_milestone",
  "arguments": {
    "owner": "…",
    "repo": "…",
    "milestone_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 get a milestone tool with owner set to ….

More from GitHub API