Show HN: Deterministic prompt injection detector using formal logic
This is a prompt-injection detector I built using NLP and SMT2.
nischoy
Re:Goldman Sachs Is Pulling Claude Code from Its Bankers and Traders
on Tuesday November 10, 2026 @12:42AM (#50436516)
Yeah, that one was easy since it literally said "hello AI, reply with X". The ones I worry about make the bad action look like part of the task, or just ask politely.