RTL Lint MCP Server
io.github.jaspresi/rtl-lint-mcpv0.2.0
Lint Verilog and SystemVerilog files and projects with structured diagnostics.
context tax
queued
security
queued
cold start
queued
freshness
Maintained53d ago
Install RTL Lint MCP server
Install in Claude Code
claude mcp add rtl-lint -e RTL_LINT_ALLOWED_ROOTS='<rtl-lint-allowed-roots>' -- uvx rtl-lint-mcpInstall in Cursor
{
"mcpServers": {
"rtl-lint": {
"command": "uvx",
"args": [
"rtl-lint-mcp"
],
"env": {
"RTL_LINT_ALLOWED_ROOTS": "<rtl-lint-allowed-roots>"
}
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (project).
Install in Claude Desktop
{
"mcpServers": {
"rtl-lint": {
"command": "uvx",
"args": [
"rtl-lint-mcp"
],
"env": {
"RTL_LINT_ALLOWED_ROOTS": "<rtl-lint-allowed-roots>"
}
}
}
}Settings → Developer → Edit Config (claude_desktop_config.json), then restart.
Install in VS Code
{
"servers": {
"rtl-lint": {
"type": "stdio",
"command": "uvx",
"args": [
"rtl-lint-mcp"
],
"env": {
"RTL_LINT_ALLOWED_ROOTS": "<rtl-lint-allowed-roots>"
}
}
}
}Add to .vscode/mcp.json in your workspace.
Install in Windsurf
{
"mcpServers": {
"rtl-lint": {
"command": "uvx",
"args": [
"rtl-lint-mcp"
],
"env": {
"RTL_LINT_ALLOWED_ROOTS": "<rtl-lint-allowed-roots>"
}
}
}
}Add to ~/.codeium/windsurf/mcp_config.json.
Configuration
| Variable | Required | Secret | Description |
|---|---|---|---|
| RTL_LINT_ALLOWED_ROOTS | yes | — | Directory containing the RTL files that this server is allowed to read. |
Freshness
Maintained — last maintenance signal 53d ago. The newest of the signals below sets the band.
Last commit (default branch)
no data · GitHub
Latest release
no data · GitHub
Package published
no data · npm/PyPI
Registry entry updated
2026-08-18 · 53d ago · official registry · v0.2.0
FAQ
›How do I install the RTL Lint MCP server in Claude Code?
Run: claude mcp add rtl-lint -e RTL_LINT_ALLOWED_ROOTS='<rtl-lint-allowed-roots>' -- uvx rtl-lint-mcp. For Cursor, VS Code, Claude Desktop and Windsurf, use the install tabs above.
›Does RTL Lint require an API key?
Yes. It expects RTL_LINT_ALLOWED_ROOTS.
›Can I use RTL Lint as a remote (hosted) MCP server?
No hosted endpoint is published; it runs locally over stdio.
›Is RTL Lint in the official MCP registry?
Yes, as io.github.jaspresi/rtl-lint-mcp.