Is there an official whois server for .IE domains?

Yes, it is whois.domainregistry.ie

 

.ie Domain Registration.ie Whois Search