Gif工具是一款在线免费GIF编辑神器,提供在线GIF压缩、视频转GIF、GIF合成、GIF裁剪四个功能,用户无需安装任何插件就可以轻松的进行视频格式转换,支持GIF、PNG、JPG、JPEG、MP4、Ogg、WebM等格式。