WikiEducator:Bots

Robots or bots for short are automatic or semi-automatic processes that interact with wiki as though they were a human editor. They are used to manage systematic or repetivive tasks.

A list of current bots
Even though the link is red the Bots list exists.