"author:kiranreddi" matching MCP servers:

• io.github.kiranreddi/sentinel

  kiranreddi

  A

  license

  -

  quality

  A

  maintenance

  Provides LLMs and AI agents safe, structured, read-only access to verification artifacts for deterministic triage and root-cause analysis. Supports UVM, cocotb, and SystemVerilog verification ecosystems.

  Last updated 2026-06-16

  3

  Apache 2.0