MELON: Provable Defense Against Indirect Prompt Injection Attacks in AI Agents | Read Paper on Bytez