RTL Lint MCP
Lint Verilog and SystemVerilog files and projects with structured diagnostics.
Connector by jaspresi · GitHub account verified by the MCP Registry
Install
Works with Claude Code, Codex, VS Code, Cursor, Windsurf, Claude Desktop. Read the repository before you give any tool access to your data.
npx agentmarket install connector/jaspresi-rtl-lint-mcp
Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.
Get the weekly diff
The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.
About
Reviews
Write a reviewNo reviews yet. Installed it? Reviews come from verified installers only. How reviews work
Permissions
What this server can do and what it asks for, from its tool list and install config. Checked Oct 25, 2026.
- Tools
- 4 read · 0 write · 0 deleteRead-only
- Secrets
- None asked for
- Install scripts
- Not scanned yet
- Runs as
- Python package
Tools by what they do 4
Read from the source code; the running server may list different tools.
Read 4 · Look things up without changing anything.
lint_rtl_filelint_rtl_projectlint_rtl_textlist_rtl_lint_rules
Secrets and settings it asks for
Other settings (environment variables or headers).
RTL_LINT_ALLOWED_ROOTS
Files it touches
- Any path the agent passes to its tools
Tools (4)
Read from the source code; the running server may differ. Descriptions are the server’s own words; hidden characters are shown as [U+…].
lint_rtl_fileLint one .v, .vh, .sv, or .svh file inside an allowed root.
lint_rtl_projectDiscover and lint RTL files below an allowed project directory.
lint_rtl_textLint Verilog/SystemVerilog source text without reading a file.
list_rtl_lint_rulesList all lightweight RTL lint rules and recommendations.
Signals
- Weekly downloads
- 22
- Last release
- Aug 18, 2026 (2 months ago)
- Last package publish
- Aug 18, 2026 (2 months ago)
From the package registry.
Details
- Registry name
io.github.jaspresi/rtl-lint-mcp- Version
- 0.2.0
- Auth
- No auth
- Packages
- pypi rtl-lint-mcp
- License
- MIT
- First seen
- Oct 24, 2026
- Last checked
- Oct 24, 2026
- Source
- Official MCP Registry
Cite this page
RTL Lint MCP. Agent Mart. https://agentmart.dev/connectors/jaspresi-rtl-lint-mcp (last updated 2026-10-24)