Is there an official whois server for .ST domains?

Yes, it is whois.nic.st

 

.st Domain Registration.st Whois Search