Philidor: DeFi Vault Risk Analysis for AI Agents