Verilog/SystemVerilog RTL semantic analysis MCP Server — dual tree-sitter + pyslang engine with 28 MCP tools for module search, signal tracing, hierarchy building, FSM detection, clock domain analysis, and interactive visualization.
1 file for Codex and OpenCode: verilog-mcp-server AGENTS.md — 3,358 tokens loaded in every session.
AGENTS.md A 3,358 tok These files are airry12/verilog-mcp-server's own configuration — they tell Codex and OpenCode how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.