Board Thread:General Discussion/@comment-39087667-20190419080448

What are the names of the anti-vandalism bots? When I say bots I mean like a name of a bot that ends with the word "bot".  