[
  {
    "type": "function",
    "name": "get_current_weather",
    "description": "Get the current weather for a US city.",
    "parameters": {
      "type": "object",
      "properties": {
        "city": {
          "type": "string",
          "description": "US city name, for example Dallas"
        },
        "state": {
          "type": "string",
          "description": "Two-letter US state abbreviation, for example TX"
        },
        "unit": {
          "type": "string",
          "description": "Temperature unit to return.",
          "enum": [
            "celsius",
            "fahrenheit"
          ]
        }
      },
      "required": [
        "city",
        "state",
        "unit"
      ],
      "additionalProperties": false
    },
    "strict": true
  },
  {
    "type": "function",
    "name": "get_local_time",
    "description": "Get the current local time for a US city.",
    "parameters": {
      "type": "object",
      "properties": {
        "city": {
          "type": "string",
          "description": "US city name, for example Dallas"
        },
        "state": {
          "type": "string",
          "description": "Two-letter US state abbreviation, for example TX"
        }
      },
      "required": [
        "city",
        "state"
      ],
      "additionalProperties": false
    },
    "strict": true
  }
]