Websites with siri shortcuts? [on hold]

I'm not sure if this is not an important issue, but are there databases with downloadable Siri shortcuts?

The ones I know are Reddit, Sharecuts.app and shortcutsgallery.com. Are there other popular ones?