the prompt options

1. Which python library should I use to download video from bilibili?
2. How to parse an image filename from a long text using Python regular expressions?
3. which library should I use to convert gif to mp4 ?
   • Convert the file octogen_demo.gif to mp4 format using moviepy
4. which library should I use to get stock price data?