🎉 Smithery is now a part of Arcade.dev! Read more in our announcement here
Debug F* queries sent to Z3, diagnosing proof instability and performance issues
