Does anyone know of a PeerTube search engine that provides an API or returns JSON like YouTube does?

Edit: It has a JSON API that can be used like this:

https://sepiasearch.org/api/v1/search/videos?search=stallman

I don’t know where this is documented, but following a hint by @[email protected] I found it in NewPipe’s code.