Running Cysic Prover with Vast/RunPod

I Overview