AgentProof Oracle