> For the complete documentation index, see [llms.txt](https://deepakrajas-organization.gitbook.io/aptos-move-docs/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://deepakrajas-organization.gitbook.io/aptos-move-docs/getting-started/publish-your-docs/install-the-move-prover.md).

# Install the Move Prover

If you want to use the [Move Prover](https://aptos.dev/en/build/smart-contracts/prover), install the Move Prover dependencies after [installing the CLI binary](https://aptos.dev/en/build/cli/setup-cli).

1. See [Building Aptos From Source](https://aptos.dev/en/network/nodes/building-from-source)
2. Then, in the checked out aptos-core directory, install additional Move tools:
3. You can now run the Move Prover to prove an [example](https://github.com/aptos-labs/aptos-core/tree/main/aptos-move/move-examples/hello_prover):

   Terminal

   ```
   aptos move prove --package-dir aptos-move/move-examples/hello_prover/
   ```

### Troubleshooting <a href="#troubleshooting" id="troubleshooting"></a>

If you encounter errors like the one below when running the command, double-check your Aptos CLI version or verify that you’re using the correct `aptos` tool, especially if you have multiple versions installed.

```
error: unexpected token    ┌─ ~/.move/https___github_com_aptos-labs_aptos-core_git_main/aptos-move/framework/aptos-framework/sources/randomness.move:515:16    │515 │         for (i in 0..n) {    │             -  ^ Expected ')'    │             │    │             To match this '(' {  "Error": "Move Prover failed: exiting with model building errors"}
```