What tools are you using for product demo GIFs to share on Twitter?

Hi! I've been seeing a lot of really nicely made product demo GIFs on Twitter that zoom-in and out and have a big cursor. Here's an example: https://twitter.com/streamlit/st... They really do a great job of highlighting and focusing the feature than a simple screen recording. Would love to know what tool you are using to create this GIFs!