A provable game engine and toolchain for building onchain games and autonomous worlds with Cairo.