I do not think I have come across any in my years on the forum.
Is it should be or not should be?
is it will be in the future?
This is the most relevant response from theymos I could find in relation to this and it suggests that we should not be expecting any officially.
...
.onion is even worse for DDoS attacks because the clients are all anonymous, so you can't ban abusive IPs. That's why I haven't created a .onion, even though it would be very easy to do.
Tor needs to address this somehow. I've mentioned some ideas in the past.
- Jay -