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

    • 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
      -
      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.
    • A
      license
      A
      quality
      F
      maintenance
      Enables RTL simulation and hardware verification with Verilator through automatic testbench generation, natural language queries about simulations, waveform analysis, and protocol-aware testing for Verilog/SystemVerilog designs.
      4
      4
      MIT
    • A
      license
      -
      quality
      F
      maintenance
      Provides AI agents with compiler-backed, read-only context for Verilog and SystemVerilog projects using pyslang.
      20
      Apache 2.0
    • F
      license
      A
      quality
      D
      maintenance
      Enables LLMs to automatically diagnose coding errors through codebase search, test execution, and live debugger integration (DAP/V8 CDP). Provides a secure, policy-gated environment for investigating failures while preventing destructive operations.
      9

    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