Sentinel DV
Sentinel DV bridges AI agents to hardware verification artifacts through 28 read-only MCP tools covering UVM, cocotb, and SystemVerilog environments. It indexes simulator logs, assertion failures, coverage reports, and waveform summaries into a DuckDB store, then exposes structured queries for test results, failure signatures, regression diffs, and topology discovery. The server enforces path sandboxing, automatic redaction of credentials and IPs, and bounded output sizes. You'd reach for this when debugging silicon verification runs with an LLM, letting Claude query why a testbench failed or compare coverage across regression runs without giving it raw log access or simulator control. Requires a config file pointing to artifact roots and a one-time indexing pass before queries work.
- GitHub stars
- 7
- tools
- 28
- transport
- STDIO
- env var
- 1
- last updated
- Aug 2, 2026
Tools
28 toolsPublic tool metadata for what this MCP can expose to an agent.
runs.listDiscovery and summaries of regression runs.
Discovery and summaries of regression runs.
No parameter schema in public metadata yet.
runs.getDiscovery and summaries of regression runs.
Discovery and summaries of regression runs.
No parameter schema in public metadata yet.
runs.summaryDiscovery and summaries of regression runs.
Discovery and summaries of regression runs.
No parameter schema in public metadata yet.
runs.diffRun comparison and diffs.
Run comparison and diffs.
No parameter schema in public metadata yet.
runs.cross_simCross-simulator run comparison.
Cross-simulator run comparison.
No parameter schema in public metadata yet.
runs.submitReturns dry-run commands for engineer review.
Returns dry-run commands for engineer review.
No parameter schema in public metadata yet.
tests.listTest listing, history, topology and clustering.
Test listing, history, topology and clustering.
No parameter schema in public metadata yet.
tests.getTest listing, history, topology and clustering.
Test listing, history, topology and clustering.
No parameter schema in public metadata yet.
tests.historyTest listing, history, topology and clustering.
Test listing, history, topology and clustering.
No parameter schema in public metadata yet.
tests.topologyTest listing, history, topology and clustering.
Test listing, history, topology and clustering.
No parameter schema in public metadata yet.
tests.clusterTest listing, history, topology and clustering.
Test listing, history, topology and clustering.
No parameter schema in public metadata yet.
tests.replayReturns dry-run replay commands.
Returns dry-run replay commands.
No parameter schema in public metadata yet.
failures.listNormalized failure categories, signatures and clustering.
Normalized failure categories, signatures and clustering.
No parameter schema in public metadata yet.
assertions.listAssertion listing, failures, SVA status and vacuity.
Assertion listing, failures, SVA status and vacuity.
No parameter schema in public metadata yet.
assertions.getAssertion listing, failures, SVA status and vacuity.
Assertion listing, failures, SVA status and vacuity.
No parameter schema in public metadata yet.
assertions.failuresAssertion listing, failures, SVA status and vacuity.
Assertion listing, failures, SVA status and vacuity.
No parameter schema in public metadata yet.
assertions.sva_statusAssertion listing, failures, SVA status and vacuity.
Assertion listing, failures, SVA status and vacuity.
No parameter schema in public metadata yet.
assertions.vacuityAssertion listing, failures, SVA status and vacuity.
Assertion listing, failures, SVA status and vacuity.
No parameter schema in public metadata yet.
coverage.listCoverage metrics, gaps, trends and constraint guidance.
Coverage metrics, gaps, trends and constraint guidance.
No parameter schema in public metadata yet.
coverage.summaryCoverage metrics, gaps, trends and constraint guidance.
Coverage metrics, gaps, trends and constraint guidance.
No parameter schema in public metadata yet.
coverage.gapsCoverage metrics, gaps, trends and constraint guidance.
Coverage metrics, gaps, trends and constraint guidance.
No parameter schema in public metadata yet.
coverage.trendCoverage metrics, gaps, trends and constraint guidance.
Coverage metrics, gaps, trends and constraint guidance.
No parameter schema in public metadata yet.
coverage.advisorCoverage metrics, gaps, trends and constraint guidance.
Coverage metrics, gaps, trends and constraint guidance.
No parameter schema in public metadata yet.
regressions.summaryRegression-level summary.
Regression-level summary.
No parameter schema in public metadata yet.
regression.healthRegression health.
Regression health.
No parameter schema in public metadata yet.
sim.statusLive simulation status snapshots.
Live simulation status snapshots.
No parameter schema in public metadata yet.
wave.signalsBounded waveform signal and summary context.
Bounded waveform signal and summary context.
No parameter schema in public metadata yet.
wave.summaryBounded waveform signal and summary context.
Bounded waveform signal and summary context.
No parameter schema in public metadata yet.
Sponsors
Agent CaffeineSponsoredClose your lid, come back to finished work
SnugSponsoredThe clipboard manager for the AI eraPromote your product hereReach 125k+ visitors monthly
WaxSponsoredBlock anything with supervision, without erasing your iPhonePromote your product hereReach 125k+ visitors monthly
knobsSponsoredSee your site on any phone, any day, in any languageConfiguration
SENTINEL_DV_CONFIGPath to config.yaml (alternative to --config)
Readme
Sentinel DV
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.
Details
- Repository
- github.com/kiranreddi/sentinel-dv
- Website
- kiranreddi.github.io/sentinel-dv
- Package
sentinel-dv- Transport
- STDIO
- Registry
- MCP registry, active