Comment by silentOpen

This seems a lot like the great game Euclidea https://www.euclidea.xyz/ where you have to build target constructions in minimal steps. I highly recommend it for getting your proof fix on-the-go in your pocket when you may not have your favorite proof environment to hand. Happy proving!