Is there an official whois server for .AR domains?

Yes, it is whois.nic.ar

 

.ar Domain Registration.ar Whois Search