GitHub repository: shardcord/ResearchBot
Description: A Discord bot for the Minecraft@Home Discord server