Currently Cairo Prover doesn't prove programs with inputs. It would be nice to prove Cairo programs with inputs.