If you can download a cart, then load it into Pico-8, and EXPORT CARTNAME.HTML.
Always link back to the original game's page and give credit (if they say it is okay to distribute!)
I didn't make it but here's the EXPORT command on the wiki.
https://pico-8.fandom.com/wiki/Export