не знаю, на сколько важна именно оффлайн утилита, но лично я использую банальный, но очень рабочий варик:
ezgif.com/video-to-gifв какой-то момент очень много мучился с рендером и конвертированием и вышло, что это был оптимальный баланс размера/качества.