Grok @bot but now it lives in a widget on your phone. In two interface versions: One for keeping several Bots in sight, and one for when you only care about a single one.