Search / io.github.kiranreddi/sentinel-dv
Sentinel DV
L0· runs locallyMCP tools for UVM/cocotb logs, coverage, regressions, and waveform triage.
v2.3.1 · active · repository · website · descriptor JSON · versions
Search / io.github.kiranreddi/sentinel-dv
L0· runs locallyMCP tools for UVM/cocotb logs, coverage, regressions, and waveform triage.
v2.3.1 · active · repository · website · descriptor JSON · versions
{
"mcpServers": {
"sentinel-dv": {
"command": "uvx",
"args": [
"--from",
"sentinel-dv",
"sentinel-dv==2.3.1",
"sentinel-dv-server",
"--config"
]
}
}
}claude mcp add sentinel-dv -- uvx --from sentinel-dv sentinel-dv==2.3.1 sentinel-dv-server --config[mcp_servers.sentinel-dv]
command = "uvx"
args = ["--from", "sentinel-dv", "sentinel-dv==2.3.1", "sentinel-dv-server", "--config"]
{
"$schema": "https://opencode.ai/config.json",
"mcp": {
"sentinel-dv": {
"type": "local",
"command": [
"uvx",
"--from",
"sentinel-dv",
"sentinel-dv==2.3.1",
"sentinel-dv-server",
"--config"
],
"enabled": true
}
}
}{
"mcpServers": {
"sentinel-dv": {
"command": "uvx",
"args": [
"--from",
"sentinel-dv",
"sentinel-dv==2.3.1",
"sentinel-dv-server",
"--config"
]
}
},
"deeplink": "cursor://anysphere.cursor-deeplink/mcp/install?name=sentinel-dv&config=eyJjb21tYW5kIjoidXZ4IiwiYXJncyI6WyItLWZyb20iLCJzZW50aW5lbC1kdiIsInNlbnRpbmVsLWR2PT0yLjMuMSIsInNlbnRpbmVsLWR2LXNlcnZlciIsIi0tY29uZmlnIl19"
}{
"servers": {
"sentinel-dv": {
"type": "stdio",
"command": "uvx",
"args": [
"--from",
"sentinel-dv",
"sentinel-dv==2.3.1",
"sentinel-dv-server",
"--config"
]
}
}
}{
"mcpServers": {
"sentinel-dv": {
"command": "uvx",
"args": [
"--from",
"sentinel-dv",
"sentinel-dv==2.3.1",
"sentinel-dv-server",
"--config"
]
}
}
}extensions:
"sentinel-dv":
enabled: true
name: "sentinel-dv"
type: stdio
cmd: "uvx"
args:
- "--from"
- "sentinel-dv"
- "sentinel-dv==2.3.1"
- "sentinel-dv-server"
- "--config"
timeout: 300
This is a local package: the command runs on your machine.
Not scored: fewer than three checks apply, usually because no remote answered a credential-free probe or the server is a local package.
protocol.modern, protocol.stateless, protocol.transport, protocol.list_ttlno remote answered a protocol handshake (not probed yet, unreachable, or local-only)auth.prm, auth.as_metadata, auth.cimdno remote uses OAuthauth.secret_in_urlno templated URLtools.descriptions, tools.description_length, tools.schemas, tools.annotations, tools.directory_hints, tools.token_cost, tools.api_dumptool list unknown (behind auth, not probed, or empty)stability.changes, stability.rug_pulltool list unknowndeps.known_vulnsno known advisory in 72 resolved packagesdeps.mcp_sdk_versionmcp 2.2.0, no known advisorydeps.resolvable[email protected] resolved: 72 packagesNo tool definition changes recorded. A server's first observation is its baseline; later probes record what changes.
Checks run on what our credential-free, read-only probes observe; tools are never called and no code audit is performed. How it is computed.
+repository +namespace-matches-repo +website ~liveness-unmeasured ~updated-79d-ago
Derived from observable signals (official registry feed and our own credential-free probes); no code audit performed. How it is computed.
[email protected] PyPI71 dependencies, resolved · MCP SDK mcp 2.2.0 · advisories checked 2026-10-19
No known advisory affects this dependency graph.
Dependency graphs from deps.dev; advisories from OSV.dev, including the GitHub Advisory Database and the PyPI Advisory Database; all CC BY 4.0. The graph is what a clean install of this version resolves today; nothing was installed or run. How it is checked.
| package | registry | version | runtime | secrets |
|---|---|---|---|---|
sentinel-dv | pypi | 2.3.1 | uvx |
No tools observed. Local packages are never executed by the registry.
Schemas: list_tools.
{
"name": "io.github.kiranreddi/sentinel-dv",
"_meta": {
"io.modelcontextprotocol.registry/publisher-provided": {
"tags": [
"verification",
"uvm",
"systemverilog",
"cocotb",
"eda",
"regression",
"coverage",
"jenkins"
]
}
},
"icons": [
{
"src": "https://raw.githubusercontent.com/kiranreddi/sentinel-dv/main/docs/assets/logo.svg",
"sizes": [
"any"
],
"mimeType": "image/svg+xml"
}
],
"title": "Sentinel DV",
"$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
"version": "2.3.1",
"packages": [
{
"version": "2.3.1",
"transport": {
"type": "stdio"
},
"identifier": "sentinel-dv",
"runtimeHint": "uvx",
"registryType": "pypi",
"registryBaseUrl": "https://pypi.org",
"packageArguments": [
{
"type": "positional",
"value": "sentinel-dv-server"
},
{
"name": "--config",
"type": "named",
"format": "filepath",
"description": "Path to config.yaml (artifact roots, index path, adapters)",
"placeholder": "/absolute/path/to/config.yaml"
}
],
"runtimeArguments": [
{
"name": "--from",
"type": "named",
"value": "sentinel-dv"
}
],
"environmentVariables": [
{
"name": "SENTINEL_DV_CONFIG",
"format": "filepath",
"description": "Path to config.yaml (alternative to --config)",
"placeholder": "/absolute/path/to/config.yaml"
}
]
}
],
"repository": {
"id": "1141861890",
"url": "https://github.com/kiranreddi/sentinel-dv",
"source": "github"
},
"websiteUrl": "https://kiranreddi.github.io/sentinel-dv/",
"description": "MCP tools for UVM/cocotb logs, coverage, regressions, and waveform triage."
}