Additionally you can use gifski[1] to convert clips to gifs. I don’t know if it’s the most efficient (quality/space wise) tool out there but it’s dead simple to use, and combined with the built in screen capture tools in macOS it makes for a really fast workflow to capture, edit and convert clips.

(No affiliation, just a happy customer.)

[1]: https://sindresorhus.com/gifski