#001sui-prover1 skills4210atualizado 2026-02-20100% do criadorskillocupaçãodescriçãoatualizadosui-proverDesenvolvedores de softwareHelp with the Sui Prover for formal verification of Move smart contracts. Use when the user wants to verify Move code, debug verification failures, write specifications, or understand prover options.2026-02-20