AgentGuard: Runtime Verification of AI Agents