The Sui Prover is a tool for formally verifying the correctness of Move smart contracts on the Sui blockchain. It is based on the Boogie verification engine and the Z3 SMT solver.
https://github.com/fireflyprotocol/integer-library
https://github.com/asymptotic-code/sui-kit