cipher1024/prover-showdown not found