Skip to content

MCP · Security-first v2.3.0

Sentinel DV

Verification intelligence for AI agents

Read-only Model Context Protocol access to SystemVerilog, UVM, and cocotb artifacts—indexed with DuckDB, validated against versioned schemas, and bounded for safe LLM reasoning.

Get started MCP tool gallery View on GitHub

15 MCP tools

Read-only By design

DuckDB Fast indexing

Schemas Typed responses

Why Sentinel DV

  • Security first

    Read-only MCP tools with path sandboxing, automatic redaction, and bounded outputs. No simulator control or artifact modification.

    Security model

  • Schema-driven

    Every response conforms to versioned, typed contracts. Deterministic outputs support reliable agent reasoning.

    Schema reference

  • Rich verification data

    Tests, failures, UVM topology, assertions, coverage, and regression analytics—across 28 MCP tools.

    Tool reference

  • Simulator agnostic

    VCS, Xcelium, Questa, Verilator, and more via adapter plugins and unified schemas.

    Simulator support

  • Indexed queries

    DuckDB-backed indexing with pagination and selective projection for fast, bounded reads.

    Performance guide

  • Extensible adapters

    Plugin architecture for custom parsers and new artifact formats.

    Custom adapters

Quick start

config.yaml
artifact_roots:
  - /path/to/verification/regressions

index:
  type: duckdb
  path: ./sentinel_dv.db

adapters:
  uvm: true
  cocotb: true
  assertions: true
  coverage: true

# Index artifacts
python -m sentinel_dv.indexing.indexer --config config.yaml --index-all

# Start MCP server
python -m sentinel_dv.server --config config.yaml

"Why did test axi_burst_test fail?"
→ tests.list, failures.list, assertions.failures

"Compare coverage between R123 and R124"
→ runs.diff, coverage.summary

Full installation guide

Supported ecosystems

UVM

  • Test topology extraction
  • UVM report parsing (INFO/WARNING/ERROR/FATAL)
  • Phase tracking
  • Component hierarchy mapping

cocotb

  • JUnit/XML result parsing
  • Python exception tracing
  • Coroutine tracking
  • Custom JSON dumps

SystemVerilog

  • SVA and immediate assertions
  • Functional, code, toggle, and FSM coverage
  • Compile and elaboration logs

Waveforms

Use cases

Automated triage

"Why did this test fail?"

Structured failure events with categorization, evidence, and topology context.

Regression analytics

"What changed between passing and failing runs?"

Compare runs with structured diffs: new failures, resolved issues, coverage deltas.

Coverage analysis

"Which tests cover the AXI write channel?"

Query coverage metrics by scope, interface, and protocol.

Assertion mapping

"Show assertions related to the APB protocol"

Discover assertions by protocol, scope, or intent with runtime failure tracking.

Install

pip install sentinel-dv

git clone https://github.com/kiranreddi/sentinel-dv.git
cd sentinel-dv
pip install -e ".[dev]"

License

Sentinel DV is licensed under the Apache License 2.0.

Ready to connect your verification workspace to AI agents?

Get started →