Skip to main content
Glama

Related Servers

Alternatives to mcp-cocotb

No user-submitted related servers found.

    Related Servers

    • A
      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
      10 npm
      Apache 2.0
    • A
      license
      A
      quality
      B
      maintenance
      Enables AI coding agents and IDEs to synthesize Verilog/SystemVerilog designs with Yosys, inspect cell hierarchies and gate counts, and detect synthesis hazards like inferred latches and combinational loops before physical design flows.
      4
      4 npm
      Apache 2.0
    • A
      license
      C
      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
      Not graded
      quality
      B
      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.
      45 PyPI
      5
      Apache 2.0
    • A
      license
      A
      quality
      B
      maintenance
      Enables AI coding agents and IDEs to prove SystemVerilog assertions with SymbiYosys (smtbmc+z3) and lint SVA syntax, returning honest verdicts such as PROVEN, FAILED, UNKNOWN, ERROR, or TIMEOUT.
      3
      6 npm
      Apache 2.0

    TDQS

    A4/5.0

    Scored across 4 tools

    Disambiguation5/5

    Each tool targets a distinct stage of the Cocotb workflow: test discovery, Makefile generation, simulation execution, and environment introspection. There is no meaningful overlap between the tools.

    Naming Consistency4/5

    All tools share the cocotb_ prefix and mostly follow a verb_noun pattern. Minor deviations are cocotb_run (verb only) and cocotb_toolchain_info (noun phrase), but the names remain predictable and readable.

    Tool Count5/5

    Four tools is well-scoped for a focused Cocotb simulation server. Each tool covers a necessary part of the workflow without redundancy or bloat.

    Completeness5/5

    The set provides end-to-end coverage: discover tests, generate a runner, execute simulations with parsed results, and inspect the runtime environment. No obvious core operation is missing for the stated domain.

    Maintenance

    ActivityMaintained
    ResponsivenessNo issues