It uses an SMT solver (a kind of theorem prover) to explore viable execution paths and find counterexamples for you. This is not a new idea; a Python approach was first described in this paper.

A simple to use Python wrapper for all available contract functions and variables A basic CLI to get prices and token metadata Simple parsing of data returned from the Uniswap contract Unit tests are ...