1. 使用抓包工具：可以使用抓包工具，例如Fiddler、Charles等，来截取小程序发送的网络请求，找到视频文件的URL，然后使用浏览器或下载工具下载视频文件。

2. 使用小程序下载工具：可以使用一些专门针对小程序下载的工具，例如小程序助手、微信助手等，这些工具可以帮助用户下载小程序中的视频和其他文件。

3. 视频下载网站：有一些视频下载网站，例如keepvid、savefrom等，可以通过输入小程序中的视频URL来进行下载，但需要注意这些网站可能存在版权和安全等问题。

需要注意的是，下载小程序中的视频可能涉及版权和合法性问题，需要遵守相关的法律法规和道德规范。在进行视频下载操作时，应该尊重原创作者的版权和知识产权，避免侵犯他人的合法权益。同时，还需要注意网络安全和个人隐私等问题，避免下载和使用含有恶意代码和病毒的文件，以及避免对他人的隐私进行侵犯。