Is there an official whois server for .BR domains?

Yes, it is whois.registro.br

 

.br Domain Registration.br Whois Search