get_user
ActiveTool of github
declared in 0.1.0
Get a GitHub user's public profile info. Returns name, bio, company, location, public repo count, followers, and social links. Specify username (e.g., username="torvalds").
Parameters schema
{
"type": "object",
"examples": [
{
"username": "torvalds"
},
{
"username": "gvanrossum"
}
],
"required": [
"username"
],
"properties": {
"username": {
"type": "string",
"description": "GitHub username, e.g. \"torvalds\""
}
}
}No endpoints wrapped at confidence ≥ 0.70.
Parent server
github
https://github.com/pipeworx-io/mcp-github
1/7 registries