Comment by spauldo

You probably don't want a vector format for screen recording, unless you have a very strange screen. You want a raster format.

And sure, you can convert GIF to MP4, but I would question the workflow of anyone using animated GIFs for screen capture in the first place.