
GeneLab | AIクリエイティブ研究@geneLab_999
URL host allowlists keep getting it wrong, in AI agents' web tools and elsewhere: startsWith checks (CVE-2026-24052, CVE-2026-46341), a suffix with no dot (CVE-2026-33393, Discourse), userinfo (CVE-2025-47241). URLFence: the same check, with Lean 4 proofs 🧵
1000061
113 followersView on X
