Projects Tagged move-prover: Move Prover Formal Verification Tools and Libraries for Smart Contract Safety
Explore projects tagged move-prover to discover verification frameworks, CI-integrated proof suites, and developer libraries that apply Move prover technology for formal verification of Move smart contracts and bytecode safety. This curated list of projects demonstrates how move-prover is used for static analysis, proof-driven audits, invariant checking, and automated contract validation across blockchain ecosystems; use the filtering UI to narrow by ecosystem, maturity, repository activity, or verification coverage. Compare implementations, run reproducible proofs, review audit reports, and contribute tests or patches to harden smart contract reliability—browse the filtered results to evaluate tools and adopt best-practice formal-methods workflows.
