GIF a MP4
Arrastra el GIF, pulsa Shift y suéltalo sobre MP4. La animación se convierte en un vídeo, normalmente mucho más pequeño que el GIF, que puedes publicar en Instagram o meter en una presentación.
Prueba gratis · macOS 14 o posterior · Apple silicon e Intel
Cómo convertir GIF a MP4
- 1
Empieza a arrastrar el archivo GIF, desde el escritorio o desde cualquier carpeta.
- 2
Sin soltarlo, pulsa Shift. Alrededor del archivo se abre un anillo de planetas, uno por cada formato al que puede convertirse.
- 3
Suelta el archivo sobre el planeta MP4. Un momento después, la copia en MP4 aparece junto al original.

Por qué MP4
Instagram, TikTok y muchos editores no aceptan GIF: piden MP4. Además, la versión en vídeo de un GIF suele ocupar entre un 80 y un 90 % menos.
El planeta MP4 solo aparece con archivos GIF, porque las demás imágenes no tienen animación que convertir.
PlanetOS hace todo esto en tu ordenador. Tus archivos nunca se suben a ningún sitio y funciona sin conexión a internet.
Preguntas
¿El MP4 se reproduce en bucle?
El MP4 se reproduce una vez; la mayoría de las apps sociales y reproductores repiten solos los vídeos cortos.
¿Tiene sonido?
No, los GIF no tienen audio.