>>72987617mpv player. You can configure it to append a timestamp to the filename.
If you are just copy pasting the image, 4chanx converts it to png and sets "file.png" as a default filename. If you want to keep the original filename you have to drag and drop it from file explorer