{
  "name": "board_resize_element",
  "description": "Change an element's width/height.",
  "input_schema": {
    "type": "object",
    "properties": {
      "elementId": {
        "type": "string"
      },
      "size": {
        "type": "object",
        "description": "{width, height}"
      }
    },
    "required": [
      "elementId",
      "size"
    ]
  },
  "timeout": 30
}