Sentinel DV

About Sentinel DV

Use Sentinel DV with your agent

claude mcp add sentinel-dv -- uvx sentinel-dv

{
  "mcpServers": {
    "sentinel-dv": {
      "command": "uvx",
      "args": [
        "sentinel-dv"
      ]
    }
  }
}

Frequently asked questions

What is Sentinel DV?

Sentinel DV is an MCP (Model Context Protocol) server by kiranreddi in the Security category. Security-first MCP server for verification intelligence (SystemVerilog/UVM/cocotb)

How do I connect Sentinel DV to Claude, Cursor, or another MCP client?

Install Sentinel DV from its pypi package (sentinel-dv) and register it under "mcpServers" in your client's MCP configuration — for example claude_desktop_config.json or Cursor's mcp.json — then restart the client.

Is Sentinel DV open source?

Yes — the source code is public at github.com/kiranreddi/sentinel-dv, with 2 GitHub stars.

Can AI agents pay to use Sentinel DV?

Not yet through Loomal — Sentinel DV is listed as a free directory entry. If its maintainer verifies ownership, they can set per-call USDC pricing that agents pay over x402, with settlement on Base.