Is there an official whois server for .CR domains?

Yes, it is whois.nic.cr

 

.cr Domain Registration.cr Whois Search