Skip to main content
Glama
zesun33

mcp-rtl-review

by zesun33

Server Configuration

Describes the environment variables required to run the server.

NameRequiredDescriptionDefault
MCP_RTL_REVIEW_IMAGENoThe container image to use for the RTL review server. Defaults to 'localhost/zesun33/verilog'.localhost/zesun33/verilog
MCP_RTL_REVIEW_RUNTIMENoThe container runtime to use for the RTL review server. Defaults to 'podman'.podman

Instructions

Guidance the server publishes about itself, which clients place ahead of the tool catalog so the model reads it before choosing anything.

This server publishes no instructions, or was last inspected before Glama recorded them.

Capabilities

Features and capabilities supported by this server

Protocol revision2025-11-25

CapabilityDetails
tools
{}

Tools

Functions exposed to the LLM to take actions

NameDescription
rtl_reviewA

Performs full AST-backed static RTL review and semantic code audit on Verilog/SystemVerilog designs, evaluating assignment discipline, reset polarity, bitwidths, undriven nets, and computing a 0–100 quality score with actionable fix suggestions.

rtl_check_assignmentsA

Audits Verilog/SystemVerilog source files specifically for assignment discipline violations: blocking '=' in sequential clocked blocks, or non-blocking '<=' in combinational blocks.

rtl_check_widthsB

Performs semantic bitwidth analysis on Verilog/SystemVerilog designs, detecting implicit truncation and bit expansion mismatches.

rtl_toolchain_infoB

Returns active container/host runtime and version information for the Verilator AST parser and supported rule list.

Prompts

Interactive templates invoked by user choice

NameDescription

No prompts

Resources

Contextual data attached and managed by the client

NameDescription

No resources

Latest Blog Posts

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/zesun33/mcp-rtl-review'

If you have feedback or need assistance with the MCP directory API, please join our Discord server