Certora/CertoraProver ? reverse-engineered prompt

Help me get this project building and running locally from a fresh clone.

I want to be able to compile the Certora Prover, run its tests, and try one of the small example configs from the Public folder so I can see it working end to end. Please make sure the setup instructions are clear for Mac or Linux, and that the project can find the needed tools like Java, Python, Rust, Solidity compilers, and the solver binaries from my PATH.

If anything is missing or outdated, fix it so the build works smoothly, and add any small scripts or notes that would make it easier for someone like me to install dependencies and run the prover without hunting around. If you need to check current setup details online, go ahead and do that.