Is there an official whois server for .SM domains?

Yes, it is whois.nic.sm

 

.sm Domain Registration.sm Whois Search