So far they ask to the user to use Orbot. I'm implementing and testing this one for them https://github.com/05nelsonm/kmp-tor/tree/master It's the same I implemented for Robosats and it works terribly good, at least in Android, you can download the latest version and check it out. BUT I didn't test websockets (yet it provides the feature)