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.
sarif ai-agents cli-tool sast audit-trails coding-agents vulnerability-remediation mcp-server ai-governance-framework policy-as-code-sdlc model-agnostic-architectur
-
Updated
Sep 4, 2026 - TypeScript