{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.kiranreddi/sentinel-dv","description":"MCP tools for UVM/cocotb logs, coverage, regressions, and waveform triage.","title":"Sentinel DV","repository":{"url":"https://github.com/kiranreddi/sentinel-dv","source":"github","id":"1141861890"},"version":"2.3.1","websiteUrl":"https://kiranreddi.github.io/sentinel-dv/","icons":[{"src":"https://raw.githubusercontent.com/kiranreddi/sentinel-dv/main/docs/assets/logo.svg","mimeType":"image/svg+xml","sizes":["any"]}],"packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"sentinel-dv","version":"2.3.1","runtimeHint":"uvx","transport":{"type":"stdio"},"runtimeArguments":[{"value":"sentinel-dv","type":"named","name":"--from"}],"packageArguments":[{"value":"sentinel-dv-server","type":"positional"},{"description":"Path to config.yaml (artifact roots, index path, adapters)","format":"filepath","placeholder":"/absolute/path/to/config.yaml","type":"named","name":"--config"}],"environmentVariables":[{"description":"Path to config.yaml (alternative to --config)","format":"filepath","placeholder":"/absolute/path/to/config.yaml","name":"SENTINEL_DV_CONFIG"}]}],"_meta":{"io.modelcontextprotocol.registry/publisher-provided":{"tags":["verification","uvm","systemverilog","cocotb","eda","regression","coverage","jenkins"]}}},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-08-02T23:57:02.184088Z","publishedAt":"2026-08-02T23:57:02.184088Z","updatedAt":"2026-08-02T23:57:02.184088Z","isLatest":true}}}