Minecraft Server MCP

Instructions

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") }] };
    }
  );