Idris game engine with tools