Skip to content
Agentmart
Submit a tool

Dvalincode

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

Connector by arthurpanhku · GitHub account verified by the MCP Registry

IndexedMITLocal (stdio)★ 118
Write a review

Install

Works with Claude Code, Codex, VS Code, Cursor, Windsurf, Claude Desktop. Read the repository before you give any tool access to your data.

npx agentmarket install connector/arthurpanhku-dvalincode

Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.

Get the weekly diff

The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.

We use your email only for this newsletter. Privacy

About

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

Use cases: security-scanning, debugging

Reviews

Write a review

No reviews yet. Installed it? Reviews come from verified installers only. How reviews work

Permissions

What this server can do and what it asks for, from its tool list and install config. Checked Oct 25, 2026.

Tools
21 read · 10 write · 3 delete · 2 not yet classified
Secrets
None asked for
Install scripts
None found
Runs as
Node.js package

Tools by what they do 36

Read from the source code; the running server may list different tools.

Read 21 · Look things up without changing anything.

  • dvalin_begin_verification
  • dvalin_get_evidence
  • dvalin_get_finding
  • dvalin_get_session
  • dvalin_list_scanners
  • dvalin_scan
  • dvalin_verify_findings
  • dvalin_verify_fix
  • git
  • git_diff
  • git_status
  • help
Show 9 more tools
  • list_files
  • list_remediation_cases
  • list_skills
  • memory_search
  • plan
  • project_scripts
  • read_file
  • read_skill
  • search_text

Write 10 · Create, change, send or run things.

  • dvalin_run_task
  • edit_file
  • memory_import
  • memory_update
  • memory_write
  • prepare_remediation_worktree
  • run_check
  • run_security_scan
  • run_security_suite
  • write_file

Delete 3 · Delete, drop, revoke or wipe things.

  • delete_file
  • memory_delete
  • shell

Not yet classified 2 · We could not tell from the name and description.

  • compact
  • undo

Files it touches

  • Any path the agent passes to its tools

Tools (36)

Read from the source code; the running server may differ. Descriptions are the server’s own words; hidden characters are shown as [U+…].

  • compact

    Compress conversation context using LLM summarization

  • delete_file

    Delete a file inside the workspace. Used internally by undo for file removal.

  • dvalin_begin_verification

    Scan a workspace and persist a compact local verification workflow. Call this only after dvalin_scan reports a finding that will be repaired; it returns a workflow ID for dvalin_get_finding and dvalin_verify_findings. It never edits project files.

  • dvalin_get_evidence

    Render the Markdown audit evidence for a DvalinCode run (defaults to the latest run).

  • dvalin_get_finding

    Read one compact finding from a persisted security workflow by fingerprint.

  • dvalin_get_session

    Get a durable DvalinCode session summary and its latest audit anchor.

  • dvalin_list_scanners

    List built-in and optional scanner engines, availability, and reviewable install commands.

  • dvalin_run_task

    Run a complete governed coding task inside DvalinCode. Long calls are expected; callers should use a generous timeout.

  • dvalin_scan

    Scan a workspace for injection, hardcoded secrets, XSS, dynamic code execution, and unsafe shell use. Deterministic and read-only: it runs no model, needs no credentials, never edits project files, and does not persist Dvalin state — safe to call by default after writing code. Returns findings with file, line, severity, and rule reference. Call dvalin_begin_verification only when a finding will be repaired and independently re-verified.

  • dvalin_verify_findings

    Re-scan a persisted workflow and independently verify that the blocked targets are gone and no new severe findings were introduced. Unlike dvalin_scan, this DOES execute the project's own checks (test, typecheck, build) so the verdict rests on exit codes Dvalin observed rather than on any report it was given — every command still passes the org policy gate before it runs. Returns a Verified Fix Record: a portable, offline re-verifiable statement of what was checked and what was found.

  • dvalin_verify_fix

    Re-derive a Verified Fix Record offline. Recomputes the record hash and re-checks that its verdict follows from its own evidence, so a record that was edited after it was issued fails here. Needs no workspace, no network, and no Dvalin state — call it to confirm that a fix record handed to you is sound before relying on it.

  • edit_file

    Replace exact text in a file. Reports a diff of the change.

  • git

    Show git status

  • git_diff

    Show the current git diff, optionally scoped to one workspace file. Use before reviewing or summarizing changes.

  • git_status

    Show the current git branch, last 5 commits, and changed files. Use this to understand the git state before making changes.

Show 21 more tools
  • help

    List available slash commands

  • list_files

    List files in the current workspace using a glob pattern.

  • list_remediation_cases

    List local remediation cases for the current workspace.

  • list_skills

    List installed DvalinCode skills and the tools they recommend.

  • memory_delete

    Delete a stale or incorrect local memory entry by id.

  • memory_import

    Import memory from Claude Code, Hermes, or a Markdown file/directory into DvalinCode local memory. Use dryRun first to preview candidates.

  • memory_search

    Search local user/project memory for preferences, project facts, decisions, workflows, and lessons.

  • memory_update

    Update an existing local memory entry by id. Use to correct stale or imprecise memories.

  • memory_write

    Store a curated local memory entry. Use for durable preferences, project facts, decisions, workflows, or lessons worth carrying into future sessions.

  • plan

    Plan before executing

  • prepare_remediation_worktree

    Create an isolated git worktree for a remediation case and update the case status.

  • project_scripts

    List known project scripts and checks from package.json, Makefile, and common Python project files.

  • read_file

    Read a UTF-8 text file from inside the workspace.

  • read_skill

    Read an installed DvalinCode skill, including its SKILL.md instructions.

  • run_check

    Run a project check such as test, typecheck, build, or lint with structured output. Prefer this over shell for standard validation.

  • run_security_scan

    Run DvalinCode local security scan on the current workspace and optionally persist findings as remediation cases.

  • run_security_suite

    Run the Dvalin white-box security suite (built-in rules plus installed Semgrep, Trivy, and OSV-Scanner) and persist remediation cases.

  • search_text

    Search text files in the workspace and return matching lines.

  • shell

    Run a command in the workspace using the native host shell (cmd.exe on Windows, /bin/sh on Linux and macOS). Git pull/push/fetch/clone and GitHub CLI (gh) operations automatically request outbound network access.

  • undo

    Undo the last N tool calls (default: 1)

  • write_file

    Write content to a file inside the workspace. Reports a diff if the file already exists.

Compare and alternatives

    Featured in

    Signals

    Stars
    118
    Forks
    14
    Open issues
    15
    Last commit
    Oct 19, 2026 (9 days ago)
    Last release
    Sep 22, 2026 (1 month ago)

    From GitHub (fetched Oct 24, 2026).

    Details

    Registry name
    io.github.arthurpanhku/dvalincode
    Version
    0.19.0
    Auth
    No auth
    Packages
    npm dvalincode
    License
    MIT
    Repository
    github.com/arthurpanhku/dvalincode
    First seen
    Oct 24, 2026
    Last checked
    Oct 25, 2026
    Source
    Official MCP Registrygithub-graphql
    Cite this page

    Dvalincode MCP server. Agent Mart. https://agentmart.dev/connectors/arthurpanhku-dvalincode (last updated 2026-10-25)