Agent♥︎Age
Catalog

io.github.arthurpanhku/dvalincode

Official

by arthurpanhku · TypeScript

Deterministic security scanning, no model or API key, plus offline-verifiable proof a fix worked.

io.github.arthurpanhku/dvalincode MCP Server

The MCP server “io.github.arthurpanhku/dvalincode” provides deterministic security scanning with no model or API key, and includes offline-verifiable proof that a fix worked. It is described as a CLI-focused tool and is positioned for audit-trails and vulnerability remediation using policy-as-code workflows.

🛠️ Key Features

  • Deterministic security scanning
  • No model or API key required
  • Offline-verifiable proof that a fix worked
  • Output and workflows aligned with SARIF/SAST concepts
  • Supports audit-trails

🚀 Use Cases

  • Vulnerability remediation verification using offline proof
  • SAST-oriented scanning and reporting
  • Policy-as-code SDLC controls with audit trails
  • Integration for coding/security-focused agent workflows

⚡ Developer Benefits

  • Deterministic results for repeatable scans
  • Model-agnostic architecture (no model dependency)
  • Offline verification to validate remediation outcomes
  • CLI tool compatibility for automation

⚠️ Limitations

  • Tool count and specific MCP tool/interface details are not provided in the available data
  • Only a partial README excerpt is available, limiting further functional description

Topics

ai-agentsai-governance-frameworkaudit-trailscli-toolcoding-agentsmcp-servermodel-agnostic-architecturpolicy-as-code-sdlcsarifsastvulnerability-remediation

Related servers

More in Security