Я всюду искал что-то, что могло бы манипулировать анимированными GIF-файлами, на стороне сервера, предпочтительно с помощью php, но простые инструменты командной строки, которые могли бы быть выполнены с помощью exec (), также подойдут. По сути, я ищу водяные знаки анимированных GIF-файлов, а также имею возможность вырезать кадры из анимации (например, каждый 2-й, 3-й кадр).
Что-нибудь подобное там?