I have put together some code to convert an asciinema recording to mp4. It uses Remotion to render the player, so as long as you can control the aspect ratio and terminal font sizes, you can produce very high fidelity MP4 videos locally. Even though it uses an older version of asciinema, it should still work fine.