🎉 Smithery is now a part of Arcade.dev! Read more in our announcement here
Expand the valid but complicated proofs in a module to have more detailed steps, so that they are reprovable.
