ShieldAgent: Shielding Agents via Verifiable Safety Policy Reasoning | Read Paper on Bytez