Sentinel DV MCP Server

Security-first MCP server for verification intelligence (SystemVerilog/UVM/cocotb). Exposed over MCP by the sentinel dv mcp server, that capability becomes something an assistant can invoke while it works, not something you go and do afterwards.

What it actually does

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.

Its toolset

Everything the assistant can do here goes through one of these:

• Area — Tools
• Runs — runs.list, runs.get, runs.summary, runs.diff, runs.cross_sim, runs.submit
• Tests — tests.list, tests.get, tests.history, tests.topology, tests.cluster, tests.replay
• Coverage — coverage.list, coverage.summary, coverage.gaps, coverage.trend, coverage.advisor
• Waveforms — wave.signals, wave.summary
• Codex — The Codex tool exposed by this server

Adding it to your client

Setup follows the usual MCP pattern — install or clone the server, register it in your client's configuration file, restart the client.

When to reach for it

Among the developer tooling options, the useful question is rarely "what can it do" but "what does it cost you to run" — permissions, credentials, and how much of your context its toolset consumes. Sentinel DV's toolset — Area, Runs, Tests and 3 more — is a fair guide to whether it matches your workflow. It is maintained by kiranreddi; worth a glance at recent repository activity before you build anything load-bearing on it.

This entry was verified against Sentinel DV's own documentation before publication; SyncDev keeps the directory reviewed rather than auto-generated.

Caveats

• It runs with your machine's permissions. That is convenient and also the reason to think about what you point it at before you approve a tool call.
• MCP clients confirm each tool call by default. Leave that on until you have watched what the sentinel dv mcp server does with a few real requests.