convert_time
Convert time from one timezone to another using source and target IANA timezone identifiers. Supports HH:MM or HH:MM:SS formats with optional YYYY-MM-DD date input for accurate timezone-aware conversions.
Instructions
Convert time from one timezone to another
Input Schema
| Name | Required | Description | Default | 
|---|---|---|---|
| date | No | Optional date in YYYY-MM-DD format. If not provided, uses current date | |
| sourceTimezone | Yes | Source IANA timezone identifier | |
| targetTimezone | Yes | Target IANA timezone identifier | |
| time | Yes | Time in HH:MM or HH:MM:SS format (24-hour) | 
Input Schema (JSON Schema)
{
  "properties": {
    "date": {
      "description": "Optional date in YYYY-MM-DD format. If not provided, uses current date",
      "type": "string"
    },
    "sourceTimezone": {
      "description": "Source IANA timezone identifier",
      "type": "string"
    },
    "targetTimezone": {
      "description": "Target IANA timezone identifier",
      "type": "string"
    },
    "time": {
      "description": "Time in HH:MM or HH:MM:SS format (24-hour)",
      "type": "string"
    }
  },
  "required": [
    "sourceTimezone",
    "targetTimezone",
    "time"
  ],
  "type": "object"
}