{
  "tools": [
    {
      "id": "set_mode",
      "category": "system",
      "label": "Mail Exposure",
      "description": "Switch between a private mail + calendar server and a real internet mail server.",
      "icon": "📬",
      "fields": [
        {
          "name": "mode",
          "label": "Who is this mail server for?",
          "type": "select",
          "required": true,
          "default": "private",
          "options": [
            { "value": "private", "label": "Private — local network only, no internet mail" },
            { "value": "public", "label": "Public — exchange mail with the internet" }
          ]
        }
      ]
    },
    {
      "id": "show_dns",
      "category": "system",
      "label": "Show DNS Records",
      "description": "Print the records this domain needs, including the live DKIM keys.",
      "icon": "🌐",
      "fields": []
    }
  ]
}