Generalize CLI to allow multiple input proofs