game256_contracts.py implements the game of doubling 8 times, the toy example used in this post to the bitcoin-dev mailing list.

There is no interactive tool to play with these contracts, but they are tested in the pytest test suite.

The actual code of the bisection protocol smart contract, which is independent from the specific computation, is in hub/fraud.py.