Is there an official whois server for .AS domains?

Yes, it iswhois.nic.as

 

.as Domain Registration.as Whois Search