Roughed in prover machinery, and implemented GitHub prover