{"servers":[{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.kiranreddi/sentinel-dv","description":"Security-first MCP server for verification intelligence (SystemVerilog/UVM/cocotb)","title":"Sentinel DV","repository":{"url":"https://github.com/kiranreddi/sentinel-dv","source":"github","id":"1141861890"},"version":"1.0.0","websiteUrl":"https://github.com/kiranreddi/sentinel-dv","packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"sentinel-dv","version":"1.0.0","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/official":{"status":"active","statusChangedAt":"2026-05-26T20:07:11.615042Z","publishedAt":"2026-05-26T20:07:11.615042Z","updatedAt":"2026-05-26T20:07:11.615042Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.kiranreddi/sentinel-dv","description":"Security-first MCP server for verification intelligence (SystemVerilog/UVM/cocotb)","title":"Sentinel DV","repository":{"url":"https://github.com/kiranreddi/sentinel-dv","source":"github","id":"1141861890"},"version":"1.0.1","websiteUrl":"https://github.com/kiranreddi/sentinel-dv","packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"sentinel-dv","version":"1.0.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/official":{"status":"active","statusChangedAt":"2026-05-26T20:16:13.829793Z","publishedAt":"2026-05-26T20:16:13.829793Z","updatedAt":"2026-05-26T20:16:13.829793Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.kiranreddi/sentinel-dv","description":"Security-first MCP server for verification intelligence (SystemVerilog/UVM/cocotb)","title":"Sentinel DV","repository":{"url":"https://github.com/kiranreddi/sentinel-dv","source":"github","id":"1141861890"},"version":"1.1.0","websiteUrl":"https://github.com/kiranreddi/sentinel-dv","packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"sentinel-dv","version":"1.1.0","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/official":{"status":"active","statusChangedAt":"2026-05-28T00:39:48.051067Z","publishedAt":"2026-05-28T00:39:48.051067Z","updatedAt":"2026-05-28T00:39:48.051067Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.kiranreddi/sentinel-dv","description":"Security-first MCP server for verification intelligence (SystemVerilog/UVM/cocotb)","title":"Sentinel DV","repository":{"url":"https://github.com/kiranreddi/sentinel-dv","source":"github","id":"1141861890"},"version":"1.3.0","websiteUrl":"https://github.com/kiranreddi/sentinel-dv","packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"sentinel-dv","version":"1.3.0","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/official":{"status":"active","statusChangedAt":"2026-05-29T05:22:44.175536Z","publishedAt":"2026-05-29T05:22:44.175536Z","updatedAt":"2026-05-29T05:22:44.175536Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.kiranreddi/sentinel-dv","description":"Security-first MCP server for verification intelligence (SystemVerilog/UVM/cocotb)","title":"Sentinel DV","repository":{"url":"https://github.com/kiranreddi/sentinel-dv","source":"github","id":"1141861890"},"version":"1.3.1","websiteUrl":"https://github.com/kiranreddi/sentinel-dv","packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"sentinel-dv","version":"1.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/official":{"status":"active","statusChangedAt":"2026-05-29T21:15:40.865347Z","publishedAt":"2026-05-29T21:15:40.865347Z","updatedAt":"2026-05-29T21:15:40.865347Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.kiranreddi/sentinel-dv","description":"Security-first MCP server for verification intelligence (SystemVerilog/UVM/cocotb)","title":"Sentinel DV","repository":{"url":"https://github.com/kiranreddi/sentinel-dv","source":"github","id":"1141861890"},"version":"2.2.0","websiteUrl":"https://github.com/kiranreddi/sentinel-dv","packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"sentinel-dv","version":"2.2.0","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/official":{"status":"active","statusChangedAt":"2026-06-01T18:15:14.970055Z","publishedAt":"2026-06-01T18:15:14.970055Z","updatedAt":"2026-06-01T18:15:14.970055Z","isLatest":false}}},{"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.0","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.0","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-06-16T14:40:11.245199Z","publishedAt":"2026-06-16T14:40:11.245199Z","updatedAt":"2026-06-16T14:40:11.245199Z","isLatest":false}}},{"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}}}],"metadata":{"count":8}}