Animated vector images

For documenting tools, I often create videos or GIFs.
These tend to be a large filesize
Is there an option to create some smaller gif, e.g. vector based?
see vector screenshot