!ban, you normally have to give their role Ban Members — which also lets them ban people through Discord’s own UI, through any other bot in the server, and through the API.
Fake permissions decouple those. A role granted ban_members as a fake permission can run !ban through mira and nothing else. Take away their access to the bot and the ability goes with it.
Fake permissions only apply to mira’s own commands. They are not real Discord permissions and are invisible to every other bot.
Granting
grant form figures out whether you passed a role or a member. The role and member subcommands exist for when a name is ambiguous.
Aliases for grant: allow, add, give.
Revoking
revoke: remove, rm, delete, del. Aliases for reset: clear, purge, wipe.
Viewing
list shows every grant in the server, grouped by target. Pass a role or member to filter.
What you can grant
Any Discord permission name, written in lowercase with underscores. The useful ones:
The full list is whatever Discord itself accepts. If a name isn’t valid, the command tells you.
A practical setup
A trial moderator who can warn, purge and timeout, but can’t ban, kick, or touch roles:Command reference
Managing fake permissions requires Administrator — otherwise anyone with the ability to grant them could grant themselves everything.
