Give Your Coding Agent a Deterministic Vulnerability Oracle

AI agents can write code, run tests, inspect dependencies, and open pull requests. But when they encounter a vulnerable package, their security reasoning often collapses into a web search, an opaque A...