Sentinel Dv

🛡️ Sentinel DV v1.0.0 - AIエージェント用の検証インテリジェンス

Sentinel DVは、大規模言語モデルやAIエージェントに、検証アーティファクトへの安全で構造化された読み取り専用アクセスを提供するオープンソースのModel Context Protocol (MCP) サーバーです。これにより、生のログを公開したり、シミュレーターを制御することなく、決定的なトリアージ、根本原因分析、および検証洞察を得ることができます。

🚀 クイックスタート

インストール

# リポジトリをクローン
git clone https://github.com/yourusername/sentinel-dv.git
cd sentinel-dv

# 開発用の依存関係を含めてインストール
pip install -e ".[dev]"

# または本番用インストール
pip install sentinel-dv

設定

config.yaml を作成します。

# アーティファクトのルート (読み取り専用)
artifact_roots:
  - /path/to/verification/regressions
  - /path/to/uvm/logs

# インデックスの保存先
index:
  type: duckdb  # または sqlite, json
  path: ./sentinel_dv.db

# アダプター (有効/無効)
adapters:
  uvm: true
  cocotb: true
  assertions: true
  coverage: true
  waveform_summary: false

# セキュリティと制限
security:
  max_response_bytes: 2097152  # 2MB
  max_page_size: 200
  max_evidence_refs: 10
  max_excerpt_length: 1024

# レダクション
redaction:
  enabled: true
  patterns:
    - AKIA.*           # AWSキー
    - ghp_.*           # GitHubトークン
    - Bearer\s+\S+     # ベアラートークン
  redact_emails: true
  redact_paths: true

サーバーの起動

# MCPサーバーを起動
python -m sentinel_dv.server --config config.yaml

# アーティファクトをインデックス化 (一度だけまたは定期的に)
python -m sentinel_dv.indexing.indexer --config config.yaml --index-all

# Claude Desktopで実行
# Claudeの設定に追加:
{
  "mcpServers": {
    "sentinel-dv": {
      "command": "python",
      "args": ["-m", "sentinel_dv.server", "--config", "/path/to/config.yaml"]
    }
  }
}

クエリの例

Claudeまたは任意のMCPクライアントを使用して:

"Why did test axi_burst_test fail in the latest regression?"
→ Uses: tests.list, failures.list, tests.topology

"What assertions failed in the AXI agent?"
→ Uses: assertions.failures, assertions.get

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

"Show me the failure signatures from the past week"
→ Uses: regressions.summary

✨ 主な機能

🔒 セキュリティ第一

• 設計上読み取り専用 - シミュレーションのトリガーやアーティファクトの書き込みは行われません。
• 自動レダクション - クレデンシャル、トークン、メールアドレス、IPアドレス、パスを自動的に隠蔽します。
• パスサンドボックス化 - 設定されたアーティファクトのルートのみにアクセス可能です。
• 出力制限 - 最大応答サイズ、最大証拠抜粋を制限します。
• 出所追跡 - すべての事実にはオプションでソース参照が含まれます。

📊 豊富な検証データ

• テスト結果 - ステータス、実行時間、シード、シミュレーター情報、DUT設定
• UVMトポロジー - 環境/エージェント/ドライバー/モニター/スコアボードの階層構造
• 障害分析 - カテゴライズされたイベント (アサーション/スコアボード/プロトコル/タイムアウト)
• アサーションインテリジェンス - SVA定義、ランタイム障害、意図マッピング
• カバレッジメトリクス - 機能/コード/アサーション/トグル/FSMカバレッジ
• リグレッション分析 - 合格率、障害シグネチャ、実行差分
• インターフェースバインディング - プロトコルマッピング (AXI/AHB/APB/PCIe/USB)

⚡ パフォーマンスとスケーラビリティ

• 効率的なインデックス化 - DuckDBを使用して高速なフィルタリングと集約を行います。
• スマートなページネーション - 安定したソートで制限付きの結果セットを返します。
• 正規化されたストレージ - 重複を排除し、ハッシュ化されたアーティファクトを保存します。
• 選択的な投影 - 必要なフィールドのみを要求できます。

🔌 シミュレーター非依存

• 任意のシミュレーター (Synopsys VCS、Cadence Xcelium、Mentor Questa、Verilator) で動作します。
• アダプターパターン - ツール固有の形式を取り込み、統一されたスキーマを出力します。
• 事前計算されたサマリー - EDAツールにランタイム依存性がありません。

📋 スキーマ駆動のコントラクト

• バージョン管理されたスキーマ - 互換性保証付きのSemVerを使用します。
• JSONスキーマ検証 - 決定的でテスト可能です。
• 安定したツールAPI - 下位互換性を維持した進化が可能です。
• 自己文書化 - スキーマがインターフェースを定義します。

🏗️ アーキテクチャ

Sentinel DVは、セキュリティを第一に考慮した厳密な関心事の分離を採用しています。

sentinel_dv/
├── server.py              # MCPサーバーのエントリーポイント
├── config.py              # セキュリティ制限、機能フラグ、ガバナンス
├── registry.py            # ツールの登録とバージョン管理
├── schemas/               # すべてのデータの型付きコントラクト
│   ├── common.py         # EvidenceRef, RunRef, 基本型
│   ├── tests.py          # TestCase, TestTopology, UvmTopology
│   ├── failures.py       # FailureEvent, FailureSignature
│   ├── assertions.py     # AssertionInfo, AssertionFailure
│   ├── coverage.py       # CoverageSummary, CoverageMetric
│   ├── regressions.py    # RegressionSummary, RunDiff
│   └── versioning.py     # スキーマのバージョン管理
├── tools/                 # MCPツール (検出 + 詳細)
│   ├── runs.py           # runs.list, runs.diff
│   ├── tests.py          # tests.list, tests.get, tests.topology
│   ├── failures.py       # failures.list
│   ├── assertions.py     # assertions.list/get/failures
│   ├── coverage.py       # coverage.list/summary
│   ├── regressions.py    # regressions.summary
│   └── wave.py           # wave.summary, wave.signals
├── indexing/              # アーティファクトのインデックス化とクエリ
│   ├── indexer.py        # アーティファクトから正規化されたインデックスを構築
│   ├── store.py          # DuckDBストレージインターフェース
│   └── query.py          # フィルタリング/ソート/ページネーション
├── adapters/              # 検証アーティファクトの解析
│   ├── uvm_log.py        # UVMログの解析
│   ├── cocotb.py         # cocotb結果の解析
│   ├── assertions.py     # アサーションマップ/障害の解析
│   ├── coverage.py       # カバレッジエクスポートの解析
│   └── waveform_summary.py  # 波形サマリーの解析
├── normalization/         # セキュリティと決定性
│   ├── signatures.py     # 安定した障害シグネチャのハッシュ化
│   ├── taxonomy.py       # 障害のカテゴリ化
│   └── redaction.py      # 自動的な機密情報/PIIのレダクション
└── utils/                 # 共通ユーティリティ
    ├── hashing.py
    ├── time.py
    └── bounded_text.py

設計原則:

• デフォルトで読み取り専用 - シミュレーターの制御やアーティファクトの変更は行われません。
• スキーマ先行 - すべての応答は型付きコントラクトに準拠します。
• 決定的 - 同じ入力 → 同じ出力 (LLM生成フィールドなし)
• 証拠ベース - すべての事実はソースアーティファクトに追跡可能です。
• 制限付きで安全 - 自動レダクション、サイズ制限、パスサンドボックス化

📚 ドキュメント

コアコンセプト

• アーキテクチャの概要 - 設計原則と構造
• スキーマリファレンス - 完全な型定義
• ツールコントラクト - リクエスト/レスポンスの仕様
• セキュリティモデル - レダクション、制限、サンドボックス化

ガイド

• はじめに - セットアップと最初のクエリ
• アダプター開発 - 新しいアーティファクト形式の解析
• シミュレーターサポート - ベンダー固有の注意事項
• デプロイメントガイド - 本番環境のベストプラクティス

リファレンス

• APIドキュメント
• 設定リファレンス
• サンプル - デモアーティファクトとクライアント

🤝 コントリビューション

コントリビューションを歓迎します！ CONTRIBUTING.md を参照してください。

• 行動規範
• 開発環境のセットアップ
• テストガイドライン
• プルリクエストのプロセス

開発

# 開発用の依存関係を含めてインストール
pip install -e ".[dev]"

# テストを実行
pytest

# カバレッジを含めて実行
pytest --cov=sentinel_dv --cov-report=html

# リントとフォーマット
ruff check .
black .
mypy sentinel_dv/

📊 プロジェクトの状態

• ✅ コアスキーマ - 安定したv1.0
• ✅ MCPツール - 6つのカテゴリにわたる14のツール
• ✅ アダプター - UVM、cocotb、アサーション、カバレッジ
• ✅ インデックス化 - 効率的なクエリが可能なDuckDB
• ✅ セキュリティ - レダクション、サンドボックス化、制限
• ✅ テストカバレッジ - 単体テストと統合テストによる70%以上
• ✅ ドキュメント - 完全なガイドとAPIリファレンス
• 🚧 波形サマリー - 実験的
• 🚧 プラグインエコシステム - 近日公開予定

🎯 ポジショニング

Sentinel DV が すること

• 検証エコシステム用の読み取り専用MCPサーバー
• エージェントとLLM用のスキーマ先行型コンテキストプロバイダー
• ノイズの多いアーティファクトから型付きデータへの決定的な翻訳レイヤー
• デバッグワークフロー用の構成可能なインフラストラクチャコンポーネント

Sentinel DV が しないこと

• ❌ シミュレーションを開始したり、ジョブを送信しません。
• ❌ RTL/テストベンチコードを変更しません。
• ❌ 特定のシミュレーターを必要としません。
• ❌ 「推測するAI」ではなく、根拠のある型付きの事実を返します。

🙏 謝辞

以下のプロジェクトにインスパイアされています。

• Sentinel CI - ユニバーサルCI/CDインテリジェンス
• Model Context Protocol - Anthropicのエージェントコンテキスト標準
• UVM、cocotb、およびSystemVerilogを使用する検証コミュニティ

📄 ライセンス

Apache License 2.0 - 詳細は LICENSE を参照してください。

🔗 リンク

• 🌐 ドキュメント
• 💬 ディスカッション
• 🐛 イシュートラッカー
• 📣 変更履歴