{"library":"mv-prover","install":[{"cmd":"# Cargo.toml\n[dependencies]\nmv-prover = \"latest\"","imports":["use mv_prover::Prover;"]},{"cmd":"cargo add mv-prover","imports":[]}]}