Batch MP4 File Renaming

I have a set of MP4 videos that need their filenames updated. The video content itself must remain untouched—only the names should change so they display correctly in my media library. I can supply a list of the desired filenames, or, if it’s faster for you, we can agree on a simple naming convention and you apply it consistently.

The job is straightforward:
• Receive a link or folder containing the MP4 files.
• Rename each file exactly as specified (or per the agreed-upon pattern).
• Return the renamed files or a quick script (PowerShell, Bash, or Python) that performs the change, plus a brief note confirming completion.

Accuracy is key; every file must keep its extension and play without issues after renaming. A quick turnaround is appreciated.