Is there an official whois server for .SN domains?

Yes, it is whois.nic.sn

 

.sn Domain Registration.sn Whois Search