A Minecraft server modding API