There is one in the quickstart:

    mathcode -p "prove that the square of an even number is even"

https://math-ai-org.github.io/mathcode/#quickstart - if you look very closely, the screenshot at the top actually shows the output (and the solution).