Skip to main content
Glama
kiranreddi

io.github.kiranreddi/sentinel-dv

by kiranreddi

Related Servers

Alternatives to io.github.kiranreddi/sentinel-dv

No user-submitted related servers found.

    Related Servers

    • F
      license
      Not graded
      quality
      C
      maintenance
      Enables AI assistants to analyze RTL simulation and synthesis logs through deterministic tools for compile-log summaries, signal tie-off safety checks, and regression result statistics.
      -
    • A
      license
      A
      quality
      D
      maintenance
      Enables AI assistants to analyze hardware simulation VCD waveforms and GTKWave save files, providing access to signal values, bus definitions, and groupings without loading entire files.
      5
      MIT
    • F
      license
      A
      quality
      B
      maintenance
      Enables AI coding agents and IDEs to perform AST-backed semantic Verilog/SystemVerilog code reviews, catching race conditions, reset polarity mismatches, and bitwidth truncations while computing a 0–100 RTL quality score.
      4
      -
    • F
      license
      A
      quality
      B
      maintenance
      Enables AI coding agents and IDEs to lint, compile, syntax-check, and simulate Verilog/SystemVerilog designs through structured, token-efficient MCP tools with isolated containerized toolchains.
      4
      -
    • F
      license
      Not graded
      quality
      B
      maintenance
      Enables LLMs to interact with hardware designs (Verilog/SystemVerilog), formal verification tools, waveform logs, protocol specifications, and bug databases through 34 structured tools.
      -

    Latest Blog Posts

    MCP directory API

    We provide all the information about MCP servers via our MCP API.

    curl -X GET 'https://glama.ai/api/mcp/v1/servers/kiranreddi/sentinel-dv'

    If you have feedback or need assistance with the MCP directory API, please join our Discord server