Sentinel DV MCP Server

Sentinel DV v2.3.1 is a read-only Model Context Protocol server for design verification evidence. It indexes exported SystemVerilog, UVM, cocotb, assertion, coverage, regression, and waveform artifacts into DuckDB and exposes 28 bounded, schema-driven tools to AI agents. It runs locally over stdio via the published package.

People who work with Sentinel and want it reachable from Claude, Cursor, VS Code, or another MCP client. The project is written in Python.

VERIFIED ACTIVE

LAST COMMIT 2026-08-02 · ★ 4 · #530 OF 945 MAINTAINED OTHER · VERIFIED 2026-09-18

Apache-2.0 · Python servers · how we verify → /methodology

01 · Install Sentinel DV

before you install - you'll need

Set SENTINEL_DV_CONFIG before connecting.

Claude Code

claude mcp add kiranreddi-sentinel-dv -- uvx sentinel-dv

Claude Desktop / Cursor / VS Code - add to config

{
  "mcpServers": {
    "kiranreddi-sentinel-dv": {
      "command": "uvx",
      "args": [
        "sentinel-dv"
      ]
    }
  }
}

Same JSON for Cursor. For VS Code, rename the top-level key from `mcpServers` to `servers`.

Using another client? Same JSON, different key

Claude Desktop · mcpServers

Cursor · mcpServers

VS Code · servers

Windsurf · mcpServers

Zed · context_servers

Cline · mcpServers

Roo Code · mcpServers

Continue · mcpServers

LibreChat · mcpServers

Gemini CLI · mcpServers

Codex CLI · mcp_servers

Full setup guides: every client.

02 · Evidence

Security posture

What to check before giving this server access to your agent - from the registry, GitHub, and our own probes. We don't score safety; we show what's verifiable.

runs as local process (stdio) - runs on your machine with your user's permissions

license Apache-2.0 - declared in the repository

pypi package sentinel-dv - check the name against the project README before installing (PyPI has no namespace ownership)

registry namespace io.github.kiranreddi is GitHub-verified and matches the repo owner

03 · What Sentinel DV can do

Prose above is summarized from the project's README and registry record - no invented capabilities.

Latest releases

v2.3.1 · 2026-08-02

v2.3.0 · 2026-06-16

v2.2.0 · 2026-06-01

04 · Who maintains Sentinel DV

Sentinel DV is maintained by kiranreddi. It's the only MCP server we track from this author; the repo dates to Jan 2026.

05 · Facts

repository: github.com/kiranreddi/sentinel-dv
website: https://kiranreddi.github.io/sentinel-dv/
category: other - ranked #530 of 945 actively-maintained other servers as of 2026-09-18.
release cadence: 1 release in the last 90 days (latest 2026-08-02)
registry: io.github.kiranreddi/sentinel-dv (active, first published 2026-05-26 · 8 versions)
packages: pypi:sentinel-dv

06 · Sentinel DV FAQ

What is Sentinel DV?

Is Sentinel DV still maintained?

Yes - as of 2026-09-18, its last commit was 2026-08-02 and it shipped 1 release in the last 90 days. We re-verify nightly.

How do I install Sentinel DV?

Run `uvx sentinel-dv`. The README documents one environment variable (SENTINEL_DV_CONFIG) to set first. Set SENTINEL_DV_CONFIG before connecting. You can also paste the ready-made client config above.

Does Sentinel DV run locally?

Yes - it's a stdio server: it runs on your machine (via uvx) with your user's permissions. Your data stays local unless the server itself calls external APIs.

07 · Alternatives to Sentinel DV

Alternatives to Sentinel DV

Maintained other servers if Sentinel DV isn't the fit.

More MCP servers to compare · Klever Vm · GIA - Governed Intelligence Architecture · MoldSim MCP Server · Porkbun MCP · Hermes Atlas MCP

More Python MCP servers · Handoff · Pyxel MCP · Kitchen Sink4 Word · Zoo MCP · Gmc MCP · see all