Sentinel DV

Name: Sentinel DV
Author: kiranreddi

作者：kiranreddiバージョン 2.3.1i★ –iパソコンで動く

レジストリ名io.github.kiranreddi/sentinel-dv

インストール

概要

作者による説明（英語の原文）

MCP tools for UVM/cocotb logs, coverage, regressions, and waveform triage.

PopNx MCPの3つの柱

この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。

利用者の声iレビューはまだありませんレビューは今後のステップで、アカウント機能と一緒に始まります
私たちの基本チェックi1項目中1項目に合格公開情報からチェック。コードはまだスキャンしていません
利用状況iとても新しい↓ 30/週 · ★ –

できること

このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。

接続方法: パソコンで動く
トランスポート: stdio
カテゴリ: 開発者ツール

インストール

使っているAIアプリを選んで、設定をコピーしてください。

インストールの前に

基本チェック：1項目中1項目に合格
あなたのパソコンで、あなたのユーザーと同じ権限（ファイル、ネットワーク、アプリ）で動きます。
自分で入力するもの： SENTINEL_DV_CONFIG

必要なもの

PyPIPythonのuvのインストール（uvxコマンドに必要）

どのアプリを使っていますか？

ClaudeClaude CodeCursorVS CodeChatGPT

上でアプリを選んでください。選んだアプリを覚えておくので、次からはボタンに「…にインストール」と表示されます。

Claude Desktop → Settings → Developer → Edit Config を開き、claude_desktop_config.json にこれを貼り付けます

{
  "mcpServers": {
    "sentinel-dv": {
      "command": "uvx",
      "args": [
        "sentinel-dv",
        "sentinel-dv-server"
      ],
      "env": {
        "SENTINEL_DV_CONFIG": "your-value"
      }
    }
  }
}

ターミナルでこれを実行します

claude mcp add sentinel-dv --env SENTINEL_DV_CONFIG=your-value -- uvx sentinel-dv sentinel-dv-server

動かす前に、空欄の値を入力してください。

Cursorで開く

または、設定を自分でコピーする

プロジェクトの .cursor/mcp.json、または ~/.cursor/mcp.json に貼り付けます

{
  "mcpServers": {
    "sentinel-dv": {
      "command": "uvx",
      "args": [
        "sentinel-dv",
        "sentinel-dv-server"
      ],
      "env": {
        "SENTINEL_DV_CONFIG": "your-value"
      }
    }
  }
}

ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。

VS Codeで開く

または、設定を自分でコピーする

プロジェクトの .vscode/mcp.json に貼り付けます

{
  "servers": {
    "sentinel-dv": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "sentinel-dv",
        "sentinel-dv-server"
      ],
      "env": {
        "SENTINEL_DV_CONFIG": "your-value"
      }
    }
  }
}

これはパソコンで動くサーバーですが、ChatGPTがつなげるのはインターネット上のサーバーだけです。ほかのアプリを選んでください。

選んだアプリは、この端末のCookieに保存されます。アカウントは不要です。

自分で入力する値

SENTINEL_DV_CONFIG env
Path to config.yaml (alternative to --config)

この設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。

できること

パソコンで動くサーバーです。インストールすると、ツール一覧がAIアプリに表示されます。

基本チェックi

誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月8日にチェック

✓ 合格
作者とリポジトリが一致
レジストリ名は、リポジトリを所有するGitHubアカウント kiranreddi で確認済みです
… 未チェック
今もメンテナンスされている
このリポジトリはまだGitHubから読み取っていません
… 未チェック
ライセンスがある
このリポジトリはまだGitHubから読み取っていません
– 対象外
エンドポイントが応答する
これはパソコンで動くため、インターネット上のエンドポイントはありません
– 対象外
OAuthでサインイン
パソコンで動き、代わりにローカルの設定を使います
… 未チェック
ツールの説明に隠れた指示がない
パソコンで動くサーバーです。ツール一覧を読み取れるのは、インターネット上のエンドポイントがある場合だけです

開発者ツールのほかのサーバーとの比較i

このカテゴリのほかの4937件のうち0%よりスターが多い
このカテゴリのほかの4937件のうち31%より最近レジストリに公開
基本チェックの結果が、このカテゴリのほかの4937件のうち100%と同じかそれ以上

レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。

よくある質問

Sentinel DVは安全ですか？

当てはまる基本チェック1項目のうち1項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。

どんなキーやコードが必要ですか？

レジストリには必須のキーは載っていません。ただし、最初に使うときにサインインを求めるサーバーもあります。

パソコンで動きますか、それともクラウドですか？

あなたのパソコンで動きます。必要なときにAIアプリが起動し、データは作者のサーバーを通りません（サーバー自体がオンラインサービスを呼び出す場合を除きます）。

今もメンテナンスされていますか？

GitHubリポジトリの最終更新は–、最新バージョン（2.3.1）がレジストリに届いたのは3 か月前です。

どのアプリで使えますか？

Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。パソコンにPython (uv)も必要です。

代わりに使えるものは？

同じカテゴリには：GitHub, Desktop Commander, Cloudflare MCP

代わりの候補

同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。

カードの見方：↓ 週あたりのダウンロードi★ GitHubスターi3つの柱：レビュー · チェック · 利用状況i更新＝最新バージョンをレジストリに公開した日i

GitHub

Connect AI assistants to GitHub - manage repos, issues, PRs, and workflows through natural language.

作者：github広く使われている★ 3.4万5 日前更新

パソコンでもクラウドでも

インストール

Desktop Commander

MCP server for terminal commands, file operations, and process management

作者：wonderwhy-er広く使われている↓ 71万/週★ 1万17 日前更新

パソコンで動く

インストール

Cloudflare MCP

Cloudflare MCP servers

作者：cloudflare成長中★ 444614 か月前更新

クラウドで動く✓ mcp.cloudflare.com

インストール

作者のREADME

READMEを開く

作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。

Sentinel DV

Sentinel DV v2.3.1 is a read-only Model Context Protocol server for design verification evidence. It indexes exported SystemVerilog, UVM, cocotb, assertion, coverage, regression, and waveform artifacts into DuckDB and exposes 28 bounded, schema-driven tools to AI agents.

Documentation | Quick start | Video walkthrough | All tools | Agent skills

What it provides

Run and test intelligence: discovery, summaries, history, topology, diffs, replay-command generation, and live-status snapshots.
Failure analysis: normalized categories, stable signatures, bounded evidence, assertion failures, and failure clustering.
Coverage closure: functional, code, toggle, and FSM metrics; trends; gaps; vacuity; SVA status; and protocol-aware constraint candidates.
Waveform context: precomputed *.wave.json and bounded VCD summaries. Native FSDB/WLF streaming is intentionally out of scope.
Agent workflows: regression triage, single-test failure debugging, and coverage closure skills for Codex, Claude Code, and GitHub Copilot.

Sentinel DV does not execute simulations, modify RTL or testbench files, or stream unrestricted raw artifacts. runs.submit and tests.replay return dry-run commands for engineer review.

Quick start

Python 3.10 or newer is required. This example indexes the checked-in demo corpus:

For a persistent environment, install sentinel-dv>=2.3.1. The commands below use uvx to run the same release without a persistent install.

git clone https://github.com/kiranreddi/sentinel-dv.git

cd sentinel-dv cp demo/config.example.yaml demo/config.yaml

uvx --from sentinel-dv@2.3.1 \ sentinel-dv-index --config "$PWD/demo/config.yaml" --index-all

Connect one agent:

Codex

codex mcp add sentinel-dv \

--env SENTINEL_DV_CONFIG="$PWD/demo/config.yaml" \ -- uvx --from sentinel-dv@2.3.1 sentinel-dv-server

Claude Code

claude mcp add \

--env SENTINEL_DV_CONFIG="$PWD/demo/config.yaml" \ --transport stdio --scope local sentinel-dv \ -- uvx --from sentinel-dv@2.3.1 sentinel-dv-server

GitHub Copilot CLI

copilot mcp add sentinel-dv \

--env SENTINEL_DV_CONFIG="$PWD/demo/config.yaml" \ -- uvx --from sentinel-dv@2.3.1 sentinel-dv-server

Use an absolute SENTINEL_DV_CONFIG path. Verify the connection in the client's MCP status view, then call runs.list.

See Agent setup for configuration-file examples, project scope, skill discovery, and troubleshooting.

Production configuration

Copy config.example.yaml and define allowed artifact roots:

artifact_roots:

/absolute/path/to/regression/artifacts

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

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

security: max_response_bytes: 2097152 max_page_size: 200 max_evidence_refs: 10

redaction: enabled: true redact_emails: true redact_paths: true

Build the index before starting the server:

sentinel-dv-index --config /absolute/path/to/config.yaml --index-all

sentinel-dv-server --config /absolute/path/to/config.yaml

Relative paths inside the YAML are resolved from the config file's directory. Production startup never silently falls back to demo data.

MCP tools

The 28 tools are grouped by engineering purpose:

Area	Tools
Runs	`runs.list`, `runs.get`, `runs.summary`, `runs.diff`, `runs.cross_sim`, `runs.submit`
Tests	`tests.list`, `tests.get`, `tests.history`, `tests.topology`, `tests.cluster`, `tests.replay`
Failures and assertions	`failures.list`, `assertions.list`, `assertions.get`, `assertions.failures`, `assertions.sva_status`, `assertions.vacuity`
Coverage	`coverage.list`, `coverage.summary`, `coverage.gaps`, `coverage.trend`, `coverage.advisor`
Regression and simulation	`regressions.summary`, `regression.health`, `sim.status`
Waveforms	`wave.signals`, `wave.summary`

Every registered tool carries read-only MCP annotations and a versioned output schema. The MCP tools reference documents exact inputs and outputs.

Agent skills

The canonical skills live under skills/:

sentinel-dv-regression-triage
sentinel-dv-failure-debugging
sentinel-dv-coverage-closure

Deterministic mirrors support project discovery:

Host	Path
Codex	`.agents/skills/`
Claude Code	`.claude/skills/`
GitHub Copilot	`.github/skills/`

The repository also contains Codex and Claude plugin manifests. .mcp.json defines the bundled stdio server command; provide SENTINEL_DV_CONFIG or a config.yaml in the server working directory.

After editing a canonical skill:

.venv/bin/python scripts/sync_agent_skills.py

.venv/bin/python scripts/sync_agent_skills.py --check

Supported artifact sources

UVM logs and topology hints
cocotb and generic JUnit XML
assertion definition and failure JSON
SVA run-status JSON
supported JSON, XML, text, and HTML coverage summaries
*.wave.json and VCD
live simulation status JSON
exported VCS, Xcelium, Questa, and Verilator results

Adapter output is normalized into versioned schemas so clients do not need vendor-specific parsing logic.

Security model

Tools are read-only and operate on an index plus configured artifact roots.
Path resolution is sandboxed to allowed roots.
Evidence counts, excerpts, pages, wave signals, bins, and total response size are bounded.
Configurable redaction protects common secrets, email addresses, IP addresses, and local paths.
Tool output is deterministic; the MCP server does not generate causal conclusions.

Read Security and Production deployment before using production artifacts.

Verification

Create a development environment:

python3 -m venv .venv

.venv/bin/pip install -e ".[dev,docs]"

Run endpoint and workflow checks:

.venv/bin/python scripts/verify_all_mcp_tools.py

.venv/bin/python scripts/verify_skill_workflows.py

Run the full quality suite:

.venv/bin/pytest

.venv/bin/ruff check . .venv/bin/black --check . .venv/bin/mypy sentinel_dv .venv/bin/mkdocs build --strict

The all-tools verifier invokes every registered MCP endpoint. The skill verifier indexes 52 checked-in demo artifacts and executes the published regression triage, failure debugging, and coverage closure sequences.

Project layout

sentinel_dv/

adapters/ artifact parsers indexing/ DuckDB indexing and queries normalization/ signatures, taxonomy, redaction, coverage guidance schemas/ versioned response contracts tools/core.py tool implementations server.py FastMCP registration and stdio entry point

skills/ canonical agent skills demo/ license-free exported verification fixtures docs/ MkDocs documentation scripts/ verification, gallery, release, and skill-sync tooling tests/ unit and integration coverage

Contributing

See CONTRIBUTING.md. Sentinel DV is licensed under Apache-2.0.

Sentinel DV

概要

PopNx MCPの3つの柱

できること

インストール

インストールの前に

自分で入力する値

できること

基本チェックi

作者とリポジトリが一致

今もメンテナンスされている

ライセンスがある

エンドポイントが応答する

OAuthでサインイン

ツールの説明に隠れた指示がない

開発者ツールのほかのサーバーとの比較i

よくある質問

代わりの候補

GitHub

Desktop Commander

Cloudflare MCP

作者のREADME

Sentinel DV

What it provides

Quick start

Codex

Claude Code

GitHub Copilot CLI

Production configuration

MCP tools

Agent skills

Supported artifact sources

Security model

Verification

Project layout

Contributing