checklist.day

Mv Prover

JSON →
library ·rust
✓ verified Jun 17, 2026
other

A Move prover for formal verification of Move smart contracts.

Resources

docsdocs.rs/mv-prover/ ↗

API endpoints

full doc /v1/registry/mv-prover
install /v1/registry/mv-prover/install