MCP servers tagged hardware-verification

2 live MCP servers tagged "hardware-verification", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with hardware-verification.

live servers

avg trust

most stars

Silica Eda

simaanc

AI-native EDA environment: an MCP server that lets AI agents simulate, synthesize, lint, formally verify and place-and-route RTL

★ 10updated yesterday

Forensic BugHunter

Rahul-Dewani

A multi-agent forensic audit engine for Infineon SmartRDI hardware code using LangGraph. Features an adversarial "Critic Layer" for hallucination-free bug detection, automated C++…

★ 1updated 8 months ago