Skill Claude CodeCodex
Plan and assess SystemVerilog functional, assertion, code, toggle, and FSM coverage closure with Sentinel DV MCP tools. Use when asked to find important gaps, explain stalled or regressing coverage, prioritize bins, evaluate vacuous assertions, generate protocol-aware constraint candidates, or define evidence-backed…
Skill Claude CodeCodex
Debug individual SystemVerilog, UVM, or cocotb failures with Sentinel DV MCP tools. Use when asked why a test failed, whether a build, assertion, protocol, scoreboard, timeout, or infrastructure issue caused it, how to reproduce it, or which timeline and waveform evidence supports a hypothesis.
Skill Claude CodeCodex
Triage SystemVerilog, UVM, and cocotb regressions with Sentinel DV MCP tools. Use when asked to assess a run, explain a pass-rate drop, prioritize failure clusters, compare a baseline, identify flaky or simulator-specific signals, or produce an evidence-backed regression report.
Plugin Claude Code
Evidence-backed regression triage, failure debugging, and coverage closure skills for Sentinel DV.
MCP server Claude CodeCodexCursor +2
MCP server "sentinel-dv" as configured in kiranreddi/sentinel-dv. Runs locally from the [email protected] Python package.