9anime.to Video Download |work|er -

The terminal will show the progress:

A video downloader is a tool—usually a browser extension, a standalone software, or an online web app—designed to extract the video file from the streaming page and save it as an MP4 or MKV to your hard drive. 9anime.to Video Downloader

. It essentially identifies a piece of software or a script specifically designed to extract and download video files from 9anime (now often redirected to AniWave). The terminal will show the progress: A video