io.github.kiranreddi/sentinel-dv

MCPcommunity
v2.2.0io.github.kiranreddiUnknownUpdated 1mo agoGitHub

Security-first MCP server for verification intelligence (SystemVerilog/UVM/cocotb)

A security-first MCP server for verification intelligence (SystemVerilog/UVM/cocotb) Features • Architecture • Quick Start • Documentation Sentinel DV is an open-source Model Context Protocol (MCP) server that provides large language models and AI agents with safe, structured, read-only access to verification artifacts—enabling deterministic triage, root-cause analysis, and verification insight…

Automatically indexed from public sources. Not yet verified by the developer on Forge.Claim this listing →
1mo agoLast update
Package
Authorio.github.kiranreddi
LicenseUnknown
Version2.2.0
Sourcemcp-registry
GitHubkiranreddi/sentinel-dv
Trust Status
B
60/100Good
✓Listed in Forge index+10/10
—Publisher identity verified+0/25
→ Publisher: run `forge publish` from the package repo to claim ownership
—Ed25519 publish signature+0/10
→ Included automatically when the publisher runs `forge publish`
—Domain verification+0/5
→ Publisher: host /.well-known/forge.json on the package homepage with { "publisher": "<github-login>" }
✓CVE scan · clean+30/30
✓Static analysis · clean+20/20
—npm provenance (Sigstore)+0/5
→ Publish from GitHub Actions with the --provenance flag
Paste into Claude Code, Cursor, or any AI assistant to fix all gaps
StatusCommunity-indexed
PublisherUnverified
SignatureUnsigned
Domain—
Provenance—
DependenciesNot audited
Tool surface—
Security scan✓ Cleanv2.2.0 · 19d ago
EvalsNone
IndexedJun 13, 2026

Verification confirms publisher identity (repo ownership), not code safety. The security scan covers known CVEs and suspicious install scripts — it cannot prove the absence of malicious code.

About

A security-first MCP server for verification intelligence (SystemVerilog/UVM/cocotb) Features • Architecture • Quick Start • Documentation Sentinel DV is an open-source Model Context Protocol (MCP) server that provides large language models and AI agents with safe, structured, read-only access to verification artifacts—enabling deterministic triage, root-cause analysis, and verification insight without exposing raw logs or granting control of simulators. 🔧 UVM (Universal Verification…

Keywords
mcp