Here are the files for the Minecraft Pi API that we discussed at the workshop ...