RTL Lint MCP

io.github.jaspresi由 GitHub 账号 jaspresi 发布v0.2.0更新于 Oct 24, 2026

Lint Verilog and SystemVerilog files and projects with structured diagnostics.

已验证STDIO仅桌面开发者工具

概览

AI 生成的概览

一个本地 MCP 服务器,让助手对 Verilog 和 SystemVerilog 文件及项目进行 lint,并返回结构化诊断。

可以做什么
对 Verilog 和 SystemVerilog 源文件执行 lint,返回助手可读取和处理的结构化诊断。可按单个文件或整个项目进行检查。结果以结构化形式给出而非原始文本,便于助手汇总或解释发现的问题。
适用场景
适合助手协助 HDL 开发时检查 Verilog 或 SystemVerilog 文件的 lint 问题,或在综合、仿真前审查项目的风格与正确性问题。
运行要求
作为本地进程运行,通过 uvx 从 PyPI 包 rtl-lint-mcp 启动,需要 Python 和 uv。必须设置环境变量 RTL_LINT_ALLOWED_ROOTS,指向服务器可读取的 RTL 文件所在目录。仅限桌面端,不支持网页执行。
安装前请注意
服务器会读取 RTL_LINT_ALLOWED_ROOTS 指定目录下的文件,应尽量缩小该范围,避免暴露无关代码。未声明身份验证,也未描述写入、发送或支付行为。

安装

在 SourceWeft 中

  1. 打开 控制台中的 RTL Lint MCP,将其添加到工作区。
  2. 为需要使用其工具的对话启用该服务。

Desktop only,通过 STDIO。 STDIO 服务会启动本地进程,因此需要 SourceWeft 桌面宿主。

工具

0
SourceWeft 尚未在沙箱中启动过该软件包,因此其工具未知。

版本历史

1
  1. v0.2.0最新Sep 16, 2026

评分

已满足适用检查项的 25%

该评分衡量此收录条目的完整程度,依据注册中心条目、端点与公开来源计算得出。它不是对服务器本身的评价,也不表示服务器安全或当前可用:可连通性是带日期的检查结果,评分也不包含安装量或用户评价。

  • 近 30 天内可连通25 分

    请保持端点能够响应 MCP 握手;SourceWeft 每 30 天探测一次。

  • 已声明认证方式10 分

    请在注册中心条目中声明凭据请求头,或保持端点能够响应探测,以便判定其认证方式。

  • 已列出工具15 分

    请让服务器在无凭据时响应 tools/list,或发布可在沙箱中无凭据启动的软件包。

  • 描述必需15 分
  • 图标10 分
  • 文档15 分

    请声明包含 README 的 GitHub 仓库,或在 OAuth 受保护资源元数据中提供 resource_documentation。

  • 许可证10 分

    请在仓库或注册中心条目中声明许可证。