It's some 12 year old bragging that he has a better bot than you guys.
I'd just not worry about it, he's just trying to be cool and exclusive.
Also not very much information is given, I doubt anyone can easily guess.
Anyways who cares there are a plethora of free and paid public bots and scripts out there for almost any task so it really doesn't matter.