Add prover code