I have installed both sonic-pi-tool and sonic-pi-git from AUR on Arch.
If I run a check, while the Sonic Pi GUI is open, I get:
❯ sonic-pi-tool check
Sonic Pi is not running properly, or there's an issue with the port numbers
I couldn't find anyone else with this issue so I'm opening one, thanks for the help!