Sentinel DV
Rank #6413pulsemcp/kiranreddi-sentinel-dv
Security-first access to SystemVerilog/UVM/cocotb verification intelligence with 14 specialized tools for test analysis, coverage metrics, assertion data, and regression trends.
Sentinel DV is a Model Context Protocol (MCP) server published by kiranreddi. It ranks #6413 of 58,900 servers tracked on MCP Toplist, and its repository has 2 GitHub stars. Sentinel DV is listed across 2 registries — Official MCP and PulseMCP, with 1 tracked version. It was first listed on Jan 26, 2026 and most recently updated on May 28, 2026.
Ranks ahead of 52,487 of 58,900 servers on MCP Toplist.
Use Sentinel DV
Add Sentinel DV to any MCP client (Claude, Cursor, VS Code, …) with one of the configs below.
{
"mcpServers": {
"kiranreddi-sentinel-dv": {
"command": "uvx",
"args": [
"sentinel-dv"
],
"env": {
"SENTINEL_DV_CONFIG": "<your SENTINEL_DV_CONFIG>"
}
}
}
}Replace each placeholder with your own value before saving.
Listed on 2 registries
kiranreddi
Available versions (1)
| Version | Published |
|---|---|
| 1.1.0 | May 28, 2026 |
Frequently asked questions
- What is Sentinel DV?
- Security-first access to SystemVerilog/UVM/cocotb verification intelligence with 14 specialized tools for test analysis, coverage metrics, assertion data, and regression trends.
- Who maintains Sentinel DV?
- Sentinel DV is maintained by kiranreddi, which publishes 1 MCP server (1 total version) tracked on MCP Toplist.
- Is Sentinel DV an official MCP server?
- Yes — Sentinel DV is listed on the Official MCP Registry, alongside PulseMCP.
- How many versions does Sentinel DV have?
- MCP Toplist tracks 1 version of Sentinel DV, most recently published on May 28, 2026.
- Where can I find the source code for Sentinel DV?
- The source code for Sentinel DV is hosted at github.com/kiranreddi/sentinel-dv.