CompressGIFs is a free, browser-based toolkit for compressing, resizing, and converting GIFs. Type your target file size and it finds the right settings automatically. Nothing uploads to a server, batch processing has no cap, and there's a built-in checker for Discord, Slack, and WhatsApp size limits.