Crafty Controller is the tool we use to manage Minecraft servers.