OMEGA: Agent-oriented Proof Planning