get_server_properties
Retrieve and display all server.properties configuration settings for Minecraft Java Edition servers, including key-value pairs and descriptions for known parameters.
Instructions
Read all server.properties settings. Returns key-value pairs with descriptions for known settings.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||
Implementation Reference
- src/tools/config-tools.ts:14-37 (handler)The tool 'get_server_properties' is registered here. The async callback directly reads server properties from the manager and formats them for the user.
server.tool( "get_server_properties", "Read all server.properties settings. Returns key-value pairs with descriptions for known settings.", {}, async () => { const props = manager.properties.readAll(); if (Object.keys(props).length === 0) { return { content: [ { type: "text", text: "server.properties not found. Start the server once or use set_server_property to create it.", }, ], }; } const lines = Object.entries(props).map(([key, value]) => { const desc = SERVER_PROPERTY_DESCRIPTIONS[key]; return desc ? `${key}=${value} # ${desc}` : `${key}=${value}`; }); return { content: [{ type: "text", text: lines.join("\n") }] }; } );