checklist.day

Move Prover Test Utils

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

Provides test utilities for the Move prover, a formal verification tool for Move smart contracts.

Resources

docsdocs.rs/move-prover-test-utils/ ↗

API endpoints

full doc /v1/registry/move-prover-test-utils
install /v1/registry/move-prover-test-utils/install