Skip to main content
Glama
83,357 servers. Updated

"author:zesun33" matching MCP servers:

GET /v1/servers — MCP directory API reference

  • mcp-formal

    zesun33
    F
    license
    A
    quality
    C
    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
    -

  • mcp-cocotb

    zesun33
    F
    license
    A
    quality
    C
    maintenance
    Enables AI coding agents to discover, generate, and run Cocotb co-simulation testbenches against Verilog/SystemVerilog designs, returning structured pass/fail results and tracebacks without manual simulator or Makefile setup.
    4
    -