You do not need third-party apps or complicated Siri Shortcuts to save videos on iOS. Safari has a native download manager that saves MP4 files directly to the iOS Files app, which can be moved to Photos in one tap.