Dojo is a toolchain for building provable games and autonomous worlds with Cairo - View it on GitHub