Tool tree
gradeNot graded
list-serversAnswer
List all Minecraft servers of The PenguinNetwork with display name, short name, pack version, status, and tags. Servers are joinable at <shortName>.ihatemy.live.
View tool JSON
{
"name": "list-servers",
"kind": "answer",
"impl": "imperative",
"description": "List all Minecraft servers of The PenguinNetwork with display name, short name, pack version, status, and tags. Servers are joinable at <shortName>.ihatemy.live.",
"inputSchema": {
"type": "object",
"properties": {}
}
}get-server-statusAnswer
Get the live status (online/offline and player counts) of one Penguin Network Minecraft server. For the whole network at once, use check-online-players instead.
View tool JSON
{
"name": "get-server-status",
"kind": "answer",
"impl": "imperative",
"description": "Get the live status (online/offline and player counts) of one Penguin Network Minecraft server. For the whole network at once, use check-online-players instead.",
"inputSchema": {
"type": "object",
"properties": {
"hostname": {
"type": "string",
"description": "Short name of the server as returned by list-servers, e.g. \"atm10\"."
}
},
"required": [
"hostname"
]
}
}check-online-playersAnswer
Check how many players are online right now on The PenguinNetwork, across the whole network in one call: total players online, how many servers are up, and a per-server breakdown with player counts, slots, and join address. Use this to answer "is anyone playing?", "how busy is the network?" or "which server is most active?" instead of calling get-server-status for every server. Player names are not published, so this cannot tell whether one specific player is online.
View tool JSON
{
"name": "check-online-players",
"kind": "answer",
"impl": "imperative",
"description": "Check how many players are online right now on The PenguinNetwork, across the whole network in one call: total players online, how many servers are up, and a per-server breakdown with player counts, slots, and join address. Use this to answer \"is anyone playing?\", \"how busy is the network?\" or \"which server is most active?\" instead of calling get-server-status for every server. Player names are not published, so this cannot tell whether one specific player is online.",
"inputSchema": {
"type": "object",
"properties": {}
}
}list-docsAnswer
List all documentation pages of The PenguinNetwork (server guides, rules, ranks, FAQ) with their URLs. Fetch a page with Accept: text/markdown for a markdown version.
View tool JSON
{
"name": "list-docs",
"kind": "answer",
"impl": "imperative",
"description": "List all documentation pages of The PenguinNetwork (server guides, rules, ranks, FAQ) with their URLs. Fetch a page with Accept: text/markdown for a markdown version.",
"inputSchema": {
"type": "object",
"properties": {}
}
}