Is there an official whois server for .AU domains?

Yes, it is whois.audns.net.au

 

.au Domain Registration.au Whois Search