server_get_file
Read configuration files from a Minecraft server to manage settings, permissions, and server properties.
Instructions
Read the contents of a file on a Minecraft server (e.g., server.properties, ops.json, whitelist.json)
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| server_id | Yes | Server ID or UUID | |
| path | Yes | Relative file path to read |
Implementation Reference
- src/tools/server-files.ts:31-38 (handler)The handler function for the 'server_get_file' tool, which fetches file contents from a Minecraft server using a POST request.
async ({ server_id, path }) => { try { const data = await client.post(`/servers/${server_id}/files`, { path }); 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 }; } - src/tools/server-files.ts:24-30 (registration)Tool registration for 'server_get_file', including its schema definition.
server.tool( "server_get_file", "Read the contents of a file on a Minecraft server (e.g., server.properties, ops.json, whitelist.json)", { server_id: z.string().describe("Server ID or UUID"), path: z.string().describe("Relative file path to read"), },