sentinel-dv 1.0.0__tar.gz

sentinel_dv-1.0.0/LICENSE

@@ -0,0 +1,201 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright 2026 Sentinel DV Team
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

sentinel_dv-1.0.0/PKG-INFO

@@ -0,0 +1,412 @@
+Metadata-Version: 2.4
+Name: sentinel-dv
+Version: 1.0.0
+Summary: Security-first MCP server for verification intelligence (SystemVerilog/UVM/cocotb)
+Author: Sentinel DV Team
+License: Apache-2.0
+Project-URL: Homepage, https://github.com/kiranreddi/sentinel-dv
+Project-URL: Documentation, https://github.com/kiranreddi/sentinel-dv
+Project-URL: Repository, https://github.com/kiranreddi/sentinel-dv
+Project-URL: Issues, https://github.com/kiranreddi/sentinel-dv/issues
+Keywords: MCP,verification,UVM,SystemVerilog,cocotb,DV,EDA
+Classifier: Development Status :: 4 - Beta
+Classifier: Intended Audience :: Developers
+Classifier: License :: OSI Approved :: Apache Software License
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Topic :: Software Development :: Testing
+Classifier: Topic :: Scientific/Engineering :: Electronic Design Automation (EDA)
+Requires-Python: >=3.10
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Requires-Dist: fastmcp>=0.2.0
+Requires-Dist: pydantic>=2.0.0
+Requires-Dist: pyyaml>=6.0.0
+Requires-Dist: python-dateutil>=2.8.0
+Requires-Dist: duckdb>=0.9.0
+Provides-Extra: dev
+Requires-Dist: pytest>=7.4.0; extra == "dev"
+Requires-Dist: pytest-asyncio>=0.21.0; extra == "dev"
+Requires-Dist: pytest-cov>=4.1.0; extra == "dev"
+Requires-Dist: pytest-timeout>=2.2.0; extra == "dev"
+Requires-Dist: ruff>=0.1.0; extra == "dev"
+Requires-Dist: mypy>=1.5.0; extra == "dev"
+Requires-Dist: black>=23.9.0; extra == "dev"
+Requires-Dist: types-pyyaml>=6.0.0; extra == "dev"
+Requires-Dist: types-python-dateutil>=2.8.0; extra == "dev"
+Provides-Extra: docs
+Requires-Dist: mkdocs>=1.5.0; extra == "docs"
+Requires-Dist: mkdocs-material>=9.4.0; extra == "docs"
+Requires-Dist: mkdocs-git-revision-date-localized-plugin>=1.2.0; extra == "docs"
+Requires-Dist: mkdocs-minify-plugin>=0.7.0; extra == "docs"
+Requires-Dist: pymdown-extensions>=10.0; extra == "docs"
+Dynamic: license-file
+
+# 🛡️ Sentinel DV v1.0.0 - Verification Intelligence for AI Agents
+
+<!-- mcp-name: io.github.kiranreddi/sentinel-dv -->
+
+<div align="center">
+
+[![Python](https://img.shields.io/badge/python-3.10+-blue.svg)](https://www.python.org/downloads/)
+[![MCP](https://img.shields.io/badge/MCP-1.0.0-purple.svg)](https://modelcontextprotocol.io)
+[![License](https://img.shields.io/badge/license-Apache%202.0-green.svg)](LICENSE)
+[![CI](https://github.com/kiranreddi/sentinel-dv/actions/workflows/ci.yml/badge.svg?branch=main)](https://github.com/kiranreddi/sentinel-dv/actions/workflows/ci.yml)
+[![Documentation](https://github.com/kiranreddi/sentinel-dv/actions/workflows/docs.yml/badge.svg?branch=main)](https://github.com/kiranreddi/sentinel-dv/actions/workflows/docs.yml)
+[![PRs Welcome](https://img.shields.io/badge/PRs-welcome-brightgreen.svg)](CONTRIBUTING.md)
+[![Coverage](https://img.shields.io/badge/coverage-70%25+-brightgreen.svg)](tests/)
+
+**A security-first MCP server for verification intelligence (SystemVerilog/UVM/cocotb)**
+
+[Features](#-features) • [Architecture](#-architecture) • [Quick Start](#-quick-start) • [Documentation](#-documentation)
+
+</div>
+
+---
+
+## 🌟 What is Sentinel DV?
+
+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.
+
+### Verification Ecosystems Supported
+
+- 🔧 **UVM (Universal Verification Methodology)** - Enterprise verification framework
+- 🐍 **cocotb** - Python-based verification with coroutines  
+- 📊 **SystemVerilog** - Assertions, coverage, and native testbenches
+- 🌊 **Waveform summaries** - Pre-computed signal analysis (no raw FSDB/VCD streaming)
+
+All through a **unified, schema-driven interface** with built-in security, redaction, and deterministic outputs.
+
+---
+
+## 🏗️ Architecture
+
+Sentinel DV follows a **strict separation of concerns** with security-first principles:
+
+```
+sentinel_dv/
+├── server.py              # MCP server entrypoint
+├── config.py              # Security limits, feature flags, governance
+├── registry.py            # Tool registration and versioning
+├── schemas/               # Typed contracts for all data
+│   ├── common.py         # EvidenceRef, RunRef, base types
+│   ├── tests.py          # TestCase, TestTopology, UvmTopology
+│   ├── failures.py       # FailureEvent, FailureSignature
+│   ├── assertions.py     # AssertionInfo, AssertionFailure
+│   ├── coverage.py       # CoverageSummary, CoverageMetric
+│   ├── regressions.py    # RegressionSummary, RunDiff
+│   └── versioning.py     # Schema version management
+├── tools/                 # MCP tools (discovery + detail)
+│   ├── 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/              # Artifact indexing and querying
+│   ├── indexer.py        # Build normalized index from artifacts
+│   ├── store.py          # DuckDB storage interface
+│   └── query.py          # Filter/sort/pagination
+├── adapters/              # Parse verification artifacts
+│   ├── uvm_log.py        # UVM log parsing
+│   ├── cocotb.py         # cocotb result parsing
+│   ├── assertions.py     # Assertion map/failure parsing
+│   ├── coverage.py       # Coverage export parsing
+│   └── waveform_summary.py  # Waveform summary parsing
+├── normalization/         # Security and determinism
+│   ├── signatures.py     # Stable failure signature hashing
+│   ├── taxonomy.py       # Failure categorization
+│   └── redaction.py      # Automatic secret/PII redaction
+└── utils/                 # Common utilities
+    ├── hashing.py
+    ├── time.py
+    └── bounded_text.py
+```
+
+**Design Principles:**
+- **Read-only by default** - No simulator control, no artifact modification
+- **Schema-first** - Every response conforms to typed contracts
+- **Deterministic** - Same input → same output (no LLM-generated fields)
+- **Evidence-based** - All facts traceable to source artifacts
+- **Bounded and safe** - Automatic redaction, size limits, path sandboxing
+
+---
+
+## ✨ Features
+
+### 🔒 Security First
+- **Read-only by design** - No simulation triggers or artifact writes
+- **Automatic redaction** - Credentials, tokens, emails, IP addresses, paths
+- **Path sandboxing** - Only configured artifact roots accessible
+- **Bounded outputs** - Max response sizes, max evidence excerpts
+- **Provenance tracking** - Every fact includes optional source references
+
+### 📊 Rich Verification Data
+- **Test results** - Status, duration, seed, simulator info, DUT config
+- **UVM topology** - Env/agent/driver/monitor/scoreboard hierarchy
+- **Failure analysis** - Categorized events (assertion/scoreboard/protocol/timeout)
+- **Assertion intelligence** - SVA definitions, runtime failures, intent mapping
+- **Coverage metrics** - Functional/code/assertion/toggle/FSM coverage
+- **Regression analytics** - Pass rates, failure signatures, run diffs
+- **Interface bindings** - Protocol mapping (AXI/AHB/APB/PCIe/USB)
+
+### ⚡ Performance & Scale
+- **Efficient indexing** - DuckDB for fast filtering and aggregation
+- **Smart pagination** - Bounded result sets with stable sorting
+- **Normalized storage** - Deduplicated, hashed artifacts
+- **Selective projection** - Request only needed fields
+
+### 🔌 Simulator Agnostic
+- Works with **any simulator** (Synopsys VCS, Cadence Xcelium, Mentor Questa, Verilator)
+- **Adapter pattern** - Ingest tool-specific formats, output unified schemas
+- **Pre-computed summaries** - No runtime dependency on EDA tools
+
+### 📋 Schema-Driven Contracts
+- **Versioned schemas** - SemVer with compatibility guarantees
+- **JSON Schema validation** - Deterministic, testable
+- **Stable tool APIs** - Backwards-compatible evolution
+- **Self-documenting** - Schemas define the interface
+
+---
+
+## 🚀 Quick Start
+
+### Install from MCP Registry
+
+Install via [uv](https://docs.astral.sh/uv/) (`uvx`) or your MCP client’s registry UI using server name `io.github.kiranreddi/sentinel-dv`.
+
+**Claude Desktop / MCP client (stdio):**
+
+```json
+{
+  "mcpServers": {
+    "sentinel-dv": {
+      "command": "uvx",
+      "args": [
+        "--from",
+        "sentinel-dv",
+        "sentinel-dv-server",
+        "--config",
+        "/absolute/path/to/config.yaml"
+      ]
+    }
+  }
+}
+```
+
+Alternatively set `SENTINEL_DV_CONFIG` to your config path and omit `--config`.
+
+**Before querying:** build the artifact index (required once per config):
+
+```bash
+uvx --from sentinel-dv sentinel-dv-index --config /absolute/path/to/config.yaml --index-all
+```
+
+### Installation
+
+```bash
+# Clone the repository
+git clone https://github.com/kiranreddi/sentinel-dv.git
+cd sentinel-dv
+
+# Install with development dependencies
+pip install -e ".[dev]"
+
+# Or production install
+pip install sentinel-dv
+```
+
+### Configuration
+
+Create a `config.yaml`:
+
+```yaml
+# Artifact roots (read-only)
+artifact_roots:
+  - /path/to/verification/regressions
+  - /path/to/uvm/logs
+
+# Index storage
+index:
+  type: duckdb  # or sqlite, json
+  path: ./sentinel_dv.db
+
+# Adapters (enable/disable)
+adapters:
+  uvm: true
+  cocotb: true
+  assertions: true
+  coverage: true
+  waveform_summary: false
+
+# Security & limits
+security:
+  max_response_bytes: 2097152  # 2MB
+  max_page_size: 200
+  max_evidence_refs: 10
+  max_excerpt_length: 1024
+
+# Redaction
+redaction:
+  enabled: true
+  patterns:
+    - AKIA.*           # AWS keys
+    - ghp_.*           # GitHub tokens
+    - Bearer\s+\S+     # Bearer tokens
+  redact_emails: true
+  redact_paths: true
+```
+
+### Running the Server
+
+```bash
+# Start the MCP server
+python -m sentinel_dv.server --config config.yaml
+
+# Index artifacts (one-time or scheduled)
+python -m sentinel_dv.indexing.indexer --config config.yaml --index-all
+
+# Run with Claude Desktop
+# Add to Claude config:
+{
+  "mcpServers": {
+    "sentinel-dv": {
+      "command": "python",
+      "args": ["-m", "sentinel_dv.server", "--config", "/path/to/config.yaml"]
+    }
+  }
+}
+```
+
+### Example Queries
+
+With Claude or any MCP client:
+
+```
+"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
+```
+
+---
+
+## 📖 Documentation
+
+### Core Concepts
+- [Architecture Overview](docs/architecture.md) - Design principles and structure
+- [Schema Reference](docs/schemas.md) - Complete type definitions
+- [Tool Contracts](docs/tools/overview.md) - Request/response specifications
+- [Security Model](docs/architecture/security.md) - Redaction, bounding, sandboxing
+
+### Guides
+- [Getting Started](docs/getting-started/quick-start.md) - Setup and first queries
+- [Adapter Development](docs/adapters/custom.md) - Parse new artifact formats
+- [Simulator Support](docs/simulator_support.md) - Vendor-specific notes
+- [Deployment Guide](docs/deployment/production.md) - Production best practices
+
+### Reference
+- [API Documentation](https://yourusername.github.io/sentinel-dv/api/)
+- [Configuration Reference](docs/configuration.md)
+- [Examples](examples/) - Demo artifacts and clients
+
+---
+
+## 🤝 Contributing
+
+We welcome contributions! See [CONTRIBUTING.md](CONTRIBUTING.md) for:
+- Code of Conduct
+- Development setup
+- Testing guidelines
+- Pull request process
+
+### Development
+
+```bash
+# Install with dev dependencies
+pip install -e ".[dev]"
+
+# Run tests
+pytest
+
+# Run with coverage
+pytest --cov=sentinel_dv --cov-report=html
+
+# Lint and format
+ruff check .
+black .
+mypy sentinel_dv/
+```
+
+---
+
+## 📊 Project Status
+
+- ✅ **Core schemas** - Stable v1.0
+- ✅ **MCP tools** - 15 tools across 5 categories
+- ✅ **Adapters** - UVM, cocotb, assertions, coverage
+- ✅ **Indexing** - DuckDB with efficient querying
+- ✅ **Security** - Redaction, sandboxing, bounding
+- ✅ **Test coverage** - 70%+ with unit and integration tests
+- ✅ **Documentation** - Full guides and API reference
+- 🚧 **Waveform summaries** - Experimental
+- 🚧 **Plugin ecosystem** - Coming soon
+
+---
+
+## 🎯 Positioning
+
+### What Sentinel DV **is**
+- A **read-only MCP server** for verification ecosystems
+- A **schema-first context provider** for agents and LLMs
+- A **deterministic translation layer** from noisy artifacts to typed data
+- A **composable infrastructure component** for debug workflows
+
+### What Sentinel DV **is not**
+- ❌ It does **not** start simulations or submit jobs
+- ❌ It does **not** modify RTL/testbench code
+- ❌ It does **not** require any specific simulator
+- ❌ It is **not** an "AI that guesses"; it returns grounded, typed facts
+
+---
+
+## 🙏 Acknowledgments
+
+Inspired by:
+- [Sentinel CI](https://github.com/kiranreddi/sentinel-ci) - Universal CI/CD intelligence
+- [Model Context Protocol](https://modelcontextprotocol.io) - Anthropic's agent-context standard
+- The verification community using UVM, cocotb, and SystemVerilog
+
+---
+
+## 📄 License
+
+Apache License 2.0 - see [LICENSE](LICENSE) for details.
+
+---
+
+## 🔗 Links
+
+- 🌐 [Documentation](https://yourusername.github.io/sentinel-dv/)
+- 💬 [Discussions](https://github.com/yourusername/sentinel-dv/discussions)
+- 🐛 [Issue Tracker](https://github.com/yourusername/sentinel-dv/issues)
+- 📣 [Changelog](CHANGELOG.md)
+
+---
+
+<div align="center">
+
+**Built with ❤️ for the verification community**
+
+[⬆ back to top](#️-sentinel-dv-v100---verification-intelligence-for-ai-agents)
+
+</div>