ffmpeg
Convert any format to gif
ffmpeg -i input.mkv -o something_else.gif -hide_banner
Convert gif to mp4
ffmpeg -i reverse-shell-setup-wizard-android-13.gif -movflags faststart -pix_fmt yuv420p -vf "scale=trunc(iw/2)*2:trunc(ih/2)*2" reverse-shell-setup-wizard-android-13.mp4