A Minecraft server API without any implementation