{
  "slug": "gif-to-mp4",
  "name": "gizza-ai/gif-to-mp4",
  "version": "0.1.0",
  "title": "GIF to MP4 / WebM Converter — gizza.ai",
  "description": "Convert an animated GIF into a much smaller MP4 or WebM video, right in your browser. Re-encodes locally with ffmpeg (H.264 / VP9), nothing is uploaded, free.",
  "tags": [
    "gif to mp4",
    "gif to webm",
    "gif converter",
    "animated gif",
    "compress gif",
    "ffmpeg"
  ],
  "category": "video",
  "urls": {
    "page": "https://gizza.ai/tools/gif-to-mp4/",
    "markdown": "https://gizza.ai/tools/gif-to-mp4/index.md",
    "descriptor": "https://gizza.ai/tools/gif-to-mp4/tool.json",
    "deep_link_example": "https://gizza.ai/tools/gif-to-mp4/?format=mp4&url=https://example.com/input"
  },
  "cli": "gizza tool gif-to-mp4 'url=https://example.com/input' 'format=mp4'",
  "tool": {
    "description": "Convert an animated GIF into a much smaller MP4 (H.264) or WebM (VP9) video, preserving the animation. Set format='mp4' (default) or 'webm'. Provide the GIF as either url (HTTP/HTTPS) or ref (id from a prior tool call). Note: runs on the standalone page and the CLI (chat ffmpeg is unavailable).",
    "parameters": {
      "additionalProperties": false,
      "oneOf": [
        {
          "required": [
            "url"
          ]
        },
        {
          "required": [
            "ref"
          ]
        }
      ],
      "properties": {
        "format": {
          "default": "mp4",
          "description": "Output video format: mp4 (H.264, default) or webm (VP9).",
          "enum": [
            "mp4",
            "webm"
          ],
          "type": "string"
        },
        "ref": {
          "description": "Reference id from a prior tool call. Use either url or ref.",
          "type": "string"
        },
        "url": {
          "description": "Image URL (HTTP/HTTPS). Use either url or ref.",
          "type": "string"
        }
      },
      "type": "object"
    }
  }
}