mira#6767 is the main bot. It’s the one you invite, it’s the one these docs are about, and
it does everything on its own. If you only ever add that one, nothing is missing.
Workers are three small helper bots you can add alongside it. They aren’t second copies of mira
and they don’t do anything by themselves. They sit in your server as extra hands, and the main
bot calls on them when a job is too big or too rate limited to handle alone.
Most servers never need them, so this page is here for the two cases where they help.
Music in more than one voice channel
A bot can only sit in one voice channel at a time. That’s a Discord limit, not a mira one, and
no amount of configuration gets around it.
Adding a worker gives you a second bot that can join a second channel, so two groups can listen
to different things at once. A second worker gets you three channels, and so on.
Bigger and faster purges
Discord also caps how quickly a single bot can delete messages. On a large purge that cap is
what you’re waiting on, not mira.
With workers added, the job gets split between them. Each one stays under its own limit while
the purge as a whole finishes in a fraction of the time.
The workers
There’s nothing to set up beyond adding them. Workers don’t take commands and you won’t
interact with them directly. You keep using mira exactly as you did before and it pulls them in
when it needs to.
Worth adding them in order rather than skipping ahead, though nothing breaks if you don’t.
Permissions
Now that they’re in, workers don’t need the same treatment the main bot does. Administrator and
a spot at the top of your role list aren’t required for them.
Both still help. The fewer permissions a worker has, the more situations it has to sit out, and
a worker that sits out is one less bot sharing the load. 