Я думаю, ImageMagick - действительно ваша лучшая ставка.
Вот как выглядит identify filename.gif
на анимированном GIF:
gif.gif[1] GIF 350x350 350x350+0+0 8-bit PseudoClass 256c 145KB 0.000u 0:00.003
gif.gif[2] GIF 350x350 350x350+0+0 8-bit PseudoClass 256c 145KB 0.000u 0:00.006
gif.gif[3] GIF 350x350 350x350+0+0 8-bit PseudoClass 256c 145KB 0.000u 0:00.010
это не дает вам частоту кадров- что хорошо , потому что анимированные GIF-изображения не имеют глобальной частоты кадров, они имеют индивидуальную частоту кадров между кадрами.