RTL Lint MCP
Rank #73,833io.github.jaspresi/rtl-lint-mcp
Lint Verilog and SystemVerilog files and projects with structured diagnostics.
RTL Lint MCP is a Model Context Protocol (MCP) server. It ranks #73,833 of 137,492 servers tracked on MCP Toplist. RTL Lint MCP is listed on Official MCP, with 1 tracked version. It was first listed on Aug 18, 2026 and most recently updated on Aug 18, 2026.
Ranks ahead of 63,659 of 137,492 servers on MCP Toplist.
Use RTL Lint MCP
Requires user-supplied configuration before first use — typically an API key, token or connection string set via environment variables.
claude mcp add rtl-lint-mcp -e "RTL_LINT_ALLOWED_ROOTS=<your RTL_LINT_ALLOWED_ROOTS>" -- uvx rtl-lint-mcpReplace each placeholder with your own value before saving.
[mcp_servers.rtl-lint-mcp]
command = "uvx"
args = ["rtl-lint-mcp"]
[mcp_servers.rtl-lint-mcp.env]
RTL_LINT_ALLOWED_ROOTS = "<your RTL_LINT_ALLOWED_ROOTS>"Add to ~/.codex/config.toml. Replace each placeholder with your own value before saving.
{
"mcpServers": {
"rtl-lint-mcp": {
"command": "uvx",
"args": [
"rtl-lint-mcp"
],
"env": {
"RTL_LINT_ALLOWED_ROOTS": "<your RTL_LINT_ALLOWED_ROOTS>"
}
}
}
}Add to claude_desktop_config.json (Settings → Developer → Edit Config). Replace each placeholder with your own value before saving.
{
"mcpServers": {
"rtl-lint-mcp": {
"command": "uvx",
"args": [
"rtl-lint-mcp"
],
"env": {
"RTL_LINT_ALLOWED_ROOTS": "<your RTL_LINT_ALLOWED_ROOTS>"
}
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (per project). Replace each placeholder with your own value before saving.
{
"servers": {
"rtl-lint-mcp": {
"type": "stdio",
"command": "uvx",
"args": [
"rtl-lint-mcp"
],
"env": {
"RTL_LINT_ALLOWED_ROOTS": "<your RTL_LINT_ALLOWED_ROOTS>"
}
}
}
}Save as .vscode/mcp.json in your workspace. Replace each placeholder with your own value before saving.
{
"mcpServers": {
"rtl-lint-mcp": {
"command": "uvx",
"args": [
"rtl-lint-mcp"
],
"env": {
"RTL_LINT_ALLOWED_ROOTS": "<your RTL_LINT_ALLOWED_ROOTS>"
}
}
}
}Add to ~/.codeium/windsurf/mcp_config.json. Replace each placeholder with your own value before saving.
{
"mcpServers": {
"rtl-lint-mcp": {
"command": "uvx",
"args": [
"rtl-lint-mcp"
],
"env": {
"RTL_LINT_ALLOWED_ROOTS": "<your RTL_LINT_ALLOWED_ROOTS>"
}
}
}
}Replace each placeholder with your own value before saving.
Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/io.github.jaspresi%2Frtl-lint-mcp)<a href="https://mcptoplist.com/server/io.github.jaspresi%2Frtl-lint-mcp"><img src="https://mcptoplist.com/badge/io.github.jaspresi%2Frtl-lint-mcp.svg" alt="MCP Toplist: #73,833 of 137,492" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 1 registry
Available versions (1)
| Version | Published |
|---|---|
| 0.2.0 | Aug 18, 2026 |
Frequently asked questions
- Is RTL Lint MCP listed on the Official MCP Registry?
- Yes — RTL Lint MCP is listed on the Official MCP Registry.
- How many versions does RTL Lint MCP have?
- MCP Toplist tracks 1 version of RTL Lint MCP, most recently published on Aug 18, 2026.
Do you run this server?
Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.