Finding all the redundant constraints and bounds is computationally just as hard as solving the optimization problem: To figure out whether a constraint is redundant one would have to solve an optimization problem of the same size as the original problem.

MOSEK provides no way to automatically find redundant constraints, but the presolve isndide MOSEK apply heuristics to reduce the amount of redundancy before solving a problem.