Is there an official whois server for .TR domains?

Yes, it is whois.nic.tr

 

.tr Domain Registration.tr Whois Search