what are discord bots Minecraft Servers

what are discord bots