GIF to MP4 | agent view

The same page content and links, with explicit tool capabilities. Tools marked with an API can run directly through HTTP. Other tools require the browser interface or are not connected yet.

Tool capabilities

{
  "id": "gif-to-mp4",
  "category": "image-tools",
  "built": true,
  "requirements": "Choose loop duration/background and explain lack of original audio.",
  "implementation": {
    "fields": [
      {
        "key": "engine",
        "label": "Processing location",
        "type": "select",
        "value": "browser",
        "values": [
          "browser",
          "server"
        ],
        "labels": {
          "browser": "Browser (files stay here)",
          "server": "Local server (larger files)"
        }
      }
    ],
    "files": true,
    "accept": ".gif",
    "multiple": false,
    "input": false,
    "processing": "Browser or server",
    "native": true,
    "maxFileBytes": 20971520,
    "note": "Browser processing keeps files on this device. Choosing Local server sends files to this website’s own processor. Converts one animation cycle to silent H.264 video.",
    "hybrid": true,
    "experience": {
      "automatic": false,
      "single": false,
      "label": "Your text",
      "placeholder": "Type or paste your input…",
      "help": "Up to 1,000,000 characters. Review the settings before running.",
      "action": "Convert file"
    },
    "mode": "explicit",
    "interactive": false
  },
  "execution": "POST /api/v1/tools/gif-to-mp4/run",
  "api": {
    "id": "gif-to-mp4",
    "name": "GIF to MP4",
    "category": "image-tools",
    "description": "Convert GIF files to MP4 with the available format settings.",
    "notes": "Browser processing keeps files on this device. Choosing Local server sends files to this website’s own processor. Converts one animation cycle to silent H.264 video.",
    "human_path": "/en/image-tools/gif-to-mp4/",
    "method": "POST",
    "endpoint": "/api/v1/tools/gif-to-mp4/run",
    "schema_url": "/api/v1/tools/gif-to-mp4",
    "input_schema": {
      "type": "object",
      "additionalProperties": false,
      "properties": {
        "input": {
          "type": "string",
          "maxLength": 1000000,
          "default": "",
          "description": "Plain text input. File tools use files instead unless otherwise documented."
        },
        "options": {
          "type": "object",
          "additionalProperties": false,
          "properties": {
            "engine": {
              "type": "string",
              "description": "Processing location",
              "default": "browser",
              "enum": [
                "browser",
                "server"
              ]
            }
          }
        },
        "files": {
          "type": "array",
          "maxItems": 1,
          "items": {
            "type": "object",
            "required": [
              "name",
              "base64"
            ],
            "additionalProperties": false,
            "properties": {
              "name": {
                "type": "string",
                "maxLength": 200,
                "description": "Filename only, no path."
              },
              "mime": {
                "type": "string",
                "maxLength": 150
              },
              "bytes": {
                "type": "integer",
                "minimum": 0,
                "description": "Optional decoded byte count; must match content if supplied."
              },
              "base64": {
                "type": "string",
                "contentEncoding": "base64",
                "description": "File bytes as padded base64. Use the tool-specific limits.files_bytes value for the total decoded input size."
              }
            }
          }
        }
      }
    },
    "output_schema": {
      "type": "object",
      "required": [
        "tool",
        "result"
      ],
      "properties": {
        "tool": {
          "type": "string"
        },
        "result": {
          "type": "object",
          "required": [
            "text",
            "files"
          ],
          "properties": {
            "text": {
              "type": [
                "string",
                "null"
              ]
            },
            "data": {
              "description": "Parsed JSON when the textual result is JSON."
            },
            "name": {
              "type": "string"
            },
            "mime": {
              "type": "string"
            },
            "files": {
              "type": "array",
              "items": {
                "type": "object",
                "required": [
                  "name",
                  "mime",
                  "bytes",
                  "base64"
                ],
                "properties": {
                  "name": {
                    "type": "string"
                  },
                  "mime": {
                    "type": "string"
                  },
                  "bytes": {
                    "type": "integer"
                  },
                  "base64": {
                    "type": "string",
                    "contentEncoding": "base64"
                  }
                }
              }
            }
          }
        }
      }
    },
    "processing": "Server; self-hosted native engine, no external conversion service",
    "limits": {
      "request_bytes": 31457280,
      "input_characters": 1000000,
      "files_bytes": 20971520,
      "max_files": 1,
      "timeout_seconds": 90
    }
  },
  "agent_processing": "Server; self-hosted native engine, no external conversion service",
  "browser_agent": {
    "supported": true,
    "name": "run_current_tool",
    "discovery": "WebMCP on the human page in a supporting browser",
    "verification": "See audit/API-AUDIT.md; availability is not verification"
  }
}

Page guide

Convert GIF files to MP4 with the available format settings.