Related Servers

No user-submitted related servers found.

Related Servers

• cg-agent-kit

  Neosyn-Logic

  A

  license

  A

  quality

  B

  maintenance

  Enables AI agents to design hardware by writing C-like HDL and compiling it to Verilog, with real toolchain verification including synthesis checks.

  Updated 22 days ago (2026-07-27 17:31 UTC)

  10

  1

  MIT

• VLSI Formal Verification MCP

  rahulbalhotra

  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.

  Updated a month ago (2026-07-18 18:41 UTC)

• Verilator MCP Server

  ssql2014

  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.

  Updated a year ago (2025-06-24 10:13 UTC)

  4

  4

  MIT

• io.github.kiranreddi/sentinel

  kiranreddi

  A

  license

  -

  quality

  A

  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.

  Updated 16 days ago (2026-08-02 23:55 UTC)

  4

  Apache 2.0

• EDA Tools MCP Server

  kfy123bot

  F

  license

  A

  quality

  D

  maintenance

  Enables AI assistants to perform Electronic Design Automation (EDA) tasks including Verilog synthesis, simulation, ASIC design flows, and waveform analysis through a unified interface.

  Updated 4 months ago (2026-04-16 08:49 UTC)

  6

• firmware-attestation-mcp

  CSOAI-ORG

  A

  license

  -

  quality

  D

  maintenance

  Hardware trust layer for sovereign AI that attests firmware trust state and gates AI inference on verified results.

  Updated 2 months ago (2026-06-16 05:44 UTC)

  MIT