server_get
Retrieve complete configuration details for a specific Minecraft server by providing its server ID or UUID.
Instructions
Get full configuration details for a specific Minecraft server
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| server_id | Yes | Server ID or UUID |
Implementation Reference
- src/tools/servers.ts:21-36 (handler)The 'server_get' tool is defined and implemented directly within the registerServerTools function in src/tools/servers.ts. It takes a server_id as input and fetches server details from the Crafty Controller API.
server.tool( "server_get", "Get full configuration details for a specific Minecraft server", { server_id: z.string().describe("Server ID or UUID"), }, async ({ server_id }) => { try { const data = await client.get(`/servers/${server_id}`); return { content: [{ type: "text", text: JSON.stringify(data, null, 2) }] }; } catch (error) { const msg = error instanceof Error ? error.message : String(error); return { content: [{ type: "text", text: `Error: ${msg}` }], isError: true }; } } );