Agent
After changing code that handles input, authentication, authorization, secrets, queries, commands, templates, dependencies, or deployment configuration.
113 6d ago A 0 tokens
original MIT
Independent security verification for code written by humans and AI agents. Scan, repair, then prove it — Dvalin runs your project's own checks and issues a Verified Fix Record anyone can re-derive offline. Local-first, policy-bound, MIT.
Agent
After changing code that handles input, authentication, authorization, secrets, queries, commands, templates, dependencies, or deployment configuration.