Sentinel DV
io.github.kiranreddi/sentinel-dv
MCP tools for UVM/cocotb logs, coverage, regressions, and waveform triage.
Connect this server
Add this to your MCP client config — claude_desktop_config.json (Claude Desktop) or .cursor/mcp.json (Cursor).Suits: Claude Desktop · Cursor.
{
"mcpServers": {
"sentinel-dv": {
"command": "uvx",
"args": [
"sentinel-dv"
]
}
}
}A starting point — check the repository for exact arguments and setup. Restart your client after editing the config.
- Category
- Developer Tools
- Version
- 2.3.1
- Registry
- active
- Published
- 8/2/2026
More Developer Tools servers
Browse all Developer Tools →AionMCP
kiransth77
Dynamic API tool generator for OpenAPI, GraphQL, and AsyncAPI specifications
Aristocles Data API
kiranz38
Subscription pricing, trade costs, and financial data for AI agents across 5 countries.
YouTube Data
kirbah
YouTube MCP server for token-optimized, structured data using the YouTube Data API v3.
GitHub Inside Claude Code
Kirchlive
Normalized GitHub-CLI bridge for Claude Code — 89 ops, 6 families incl. federation sources
Handoff
kirill-sviridov
Cross-session memory for Claude over MCP — prioritised briefs, supersession, cross-project recall.
Fresh402 Agent Intelligence
kirillradchenko96
Four web/API/Base workflows, 11 paid MCP/REST resources and free Register; x402/MPP/prepaid.
Add the badge to your site
Show visitors that Sentinel DV is listed here — it’s also the link we check for a free listing.
HTML — for your website
<a href="https://serverdex.io/server/io-github-kiranreddi-sentinel-dv?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="Sentinel DV — listed on Serverdex" width="123" height="40" loading="lazy"></a>Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.
Markdown — for your README
[](https://serverdex.io/server/io-github-kiranreddi-sentinel-dv?utm_source=badge)Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.