Con este bot puedes convertir cualquier mp4 en gif.

Es genial para pasar a gif real los llamados gif de telegram, que si los descargas realmente son archivos mp4.

También es perfecto por si quieres pasar a gif un sticker animado de telegram, simplemente pones en este bot el gif o sticker animado que quieras y te lo devuelve convertido en GIF.