EqProverApp: CLI for running sc to prove eqs