move-prover
Enables formal verification of Aptos smart contracts using Move Prover, ensuring code correctness through rigorous specifications.
Install this skill
or
99/100
Security score
The move-prover skill was audited on May 14, 2026 and we found 1 security issue across 1 threat category. Review the findings below before installing.
Categories Tested
Security Issues
low line 395
External URL reference
SourceSKILL.md
| 395 | - **Aptos Move Prover Docs:** https://aptos.dev/move/prover/ |
Scanned on May 14, 2026
View Security Dashboard