Move prover is static analysis tool for move language. I mainly used Boogie Intermediate Verification Language for this work.

• Diagnostics of bug in move-prover: https://github.com/move-language/move/issues/717
• Integration of move prover to sui
  • Implement Boogie native function for address module: https://github.com/MystenLabs/sui/pull/7149

I stopped contributing to the SUI repository because the development process was closely tied to the schedule of Mysten Labs, rather than being a fully open-source project. This closed development approach made it challenging for me, as an outsider, to contribute effectively.