大家好，我正在寻找一个工具或脚本，可以在文件夹中随机获取视频，并将它们添加到单个歌曲（mp3）中，以创建一个音乐视频。然后，如果我有100首歌需要创建100个音乐视频时，还能够批量执行此操作。有没有人知道有什么工具可以做到这一点？
