user_profile
ActiveTool of Leetcode
declared in 0.1.0
Fetch a LeetCode user's public profile by username via GraphQL; returns real name, bio, avatar, global ranking, country, company, school, and star rating.
Parameters schema
{
"type": "object",
"examples": [
{
"username": "john_doe"
},
{
"username": "algorithm_master"
}
],
"required": [
"username"
],
"properties": {
"username": {
"type": "string"
}
}
}No endpoints wrapped at confidence ≥ 0.50.
Parent server
Leetcode
https://github.com/pipeworx-io/mcp-leetcode
1/7 registries