{"id":68357,"library":"mv-prover","title":"Mv Prover","description":"A Move prover for formal verification of Move smart contracts.","status":"active","version":null,"language":"rust","source_language":null,"source_url":null,"tags":["move","prover","formal-verification","smart-contracts"],"install":[{"cmd":"# Cargo.toml\n[dependencies]\nmv-prover = \"latest\"","lang":"toml","label":"Cargo.toml"},{"cmd":"cargo add mv-prover","lang":"bash","label":"cargo add"}],"dependencies":[],"imports":[{"symbol":"Prover","correct":"use mv_prover::Prover;"}],"quickstart":{"code":"use mv_prover::Prover;\n\nfn main() {\n    let prover = Prover::new();\n    println!(\"Prover initialized\");\n}","lang":"rust","description":"Initialize the Move prover."},"warnings":[],"env_vars":null,"search_vec":"'contract':12,20 'formal':7,16 'formal-verif':15 'move':4,10,13 'mv':1 'prover':2,5,14 'smart':11,19 'smart-contract':18 'verif':8,17","created_at":"2026-06-17T17:48:48.610575+00:00","updated_at":"2026-06-17T17:48:48.610575+00:00","problems":[],"ecosystem":"crates","meta_description":null,"install_score":null,"quickstart_score":null,"quickstart_tag":null,"pypi_latest":null,"cli_name":null,"cli_version":null,"type":"library","homepage":null,"github":null,"docs":"https://docs.rs/mv-prover/","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"categories":["other"],"base_url":null,"auth_type":null,"provenance":{"verified_status":null,"verified_at":null,"last_verified":"2026-06-17","next_check":"2026-12-14","install_tag":null}}