Loading MCP server directory, please wait...
Security-first MCP server for verification intelligence (SystemVerilog/UVM/cocotb)
npx @getmcp/cli add io.github.kiranreddi/sentinel-dvRequires Python 3.10+. Community-contributed server. Review source before installing.
Config file: ~/Library/Application Support/Claude/claude_desktop_config.json
{
"mcpServers": {
"io.github.kiranreddi/sentinel-dv": {
"command": "uvx",
"args": [
"sentinel-dv",
"sentinel-dv",
"sentinel-dv-server"
],
"env": {
"SENTINEL_DV_CONFIG": ""
}
}
}
}