🎉 Smithery is now a part of Arcade.dev! Read more in our announcement here
Use fstar.exe to verify F* code and interpret the errors reported
