Agentic Proof-Oriented Programming