convert_video_to_gif
Transform video files into GIF animations with customizable settings, including FPS, dimensions, start time, and duration. Ideal for creating shareable, lightweight visuals.
Instructions
Convert a video file to a GIF file in the same directory
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| duration | No | Duration in seconds (default: entire video) | |
| fps | No | Frames per second for the GIF (default: 10) | |
| height | No | Height of the output GIF (maintains aspect ratio if width not specified) | |
| start_time | No | Start time in seconds (default: 0) | |
| video_path | Yes | Path to the video file to convert | |
| width | No | Width of the output GIF (maintains aspect ratio if height not specified) |
Input Schema (JSON Schema)
{
"properties": {
"duration": {
"description": "Duration in seconds (default: entire video)",
"type": "number"
},
"fps": {
"description": "Frames per second for the GIF (default: 10)",
"maximum": 30,
"minimum": 1,
"type": "number"
},
"height": {
"description": "Height of the output GIF (maintains aspect ratio if width not specified)",
"type": "number"
},
"start_time": {
"description": "Start time in seconds (default: 0)",
"type": "number"
},
"video_path": {
"description": "Path to the video file to convert",
"type": "string"
},
"width": {
"description": "Width of the output GIF (maintains aspect ratio if height not specified)",
"type": "number"
}
},
"required": [
"video_path"
],
"type": "object"
}