Skip to main content
Glama
Sign In
Vks MCP Server

Vks MCP Server

by AlexMercer12138
OverviewSchemaSourceRelated ServersDiscussionsAdmin
Python
Local

VksMcpServer

基于 vks 的 Verilog 开发与调试 MCP 服务器，提供语法检查、编译、仿真及第三方仿真器交叉验证功能。

安装依赖

pip install -r requirements.txt

Related MCP server: vivado-mcp

生成配置

运行以下命令自动生成当前路径的 MCP 配置（vks 路径指向 tools/vks.exe）：

python generate_config.py

也可将配置写入文件：

python generate_config.py -o mcp_config.json

一键安装到各 Agent

以下命令中的路径基于当前项目位置 d:/Development/skills/VksMcpServer，如项目路径不同请自行替换。

Claude Code

claude mcp add -s user -e VKS_PATH=d:/Development/skills/VksMcpServer/tools/vks.exe vks -- python d:/Development/skills/VksMcpServer/server.py

Codex

Codex 使用 TOML 配置文件 ~/.codex/config.toml，添加以下内容：

[mcp_servers.vks]
command = "python"
args = ["d:/Development/skills/VksMcpServer/server.py"]
env = { "VKS_PATH" = "d:/Development/skills/VksMcpServer/tools/vks.exe" }

OpenClaw

openclaw mcp set vks '{"command":"python","args":["d:/Development/skills/VksMcpServer/server.py"],"env":{"VKS_PATH":"d:/Development/skills/VksMcpServer/tools/vks.exe"}}'

Cline

通过 Cline 面板 → MCP Servers → Configure 打开配置文件，添加：

{
  "mcpServers": {
    "vks": {
      "command": "python",
      "args": ["d:/Development/skills/VksMcpServer/server.py"],
      "env": {
        "VKS_PATH": "d:/Development/skills/VksMcpServer/tools/vks.exe"
      },
      "disabled": false,
      "autoApprove": []
    }
  }
}

Cursor

将以下内容写入 ~/.cursor/mcp.json（或项目根目录 .cursor/mcp.json）：

{
  "mcpServers": {
    "vks": {
      "command": "python",
      "args": ["d:/Development/skills/VksMcpServer/server.py"],
      "env": {
        "VKS_PATH": "d:/Development/skills/VksMcpServer/tools/vks.exe"
      }
    }
  }
}

Tool Schema Changelog

Recent tool additions, removals, and schema changes observed during successful MCP inspections.

Loading tool schema changelog…

    This server cannot be deployed

    Claude Code, inside the Godot 4 editorFlockbay puts an AI agent in the real Godot 4 editor: it writes GDScript, runs your game and fixes what breaks. Free, or bring your own Claude Code or Codex.flockbay.comAd

    Maintenance

    ActivityInactive
    ResponsivenessNo recent community issues

    Resources

    Related MCP Connectors

    Related MCP Servers

    • wavekit-mcp

      cxzzzz
      F
      license
      Not graded
      quality
      C
      maintenance
      An MCP server that provides AI assistants with a persistent, sandboxed Python environment for waveform analysis, enabling loading and manipulation of VCD/FST/FSDB files and temporal pattern matching.
      9
      -

    • vivado-mcp

      mapleleavessssssss-wq
      A
      license
      A
      quality
      B
      maintenance
      A minimal MCP server that provides 25 tools and 5 hooks to control Xilinx Vivado EDA for FPGA development, including session management, Tcl execution, smart diagnostics, and IP debugging.
      32
      126 PyPI
      169
      Apache 2.0

    • fpgaZeroMCP

      lcapossio
      A
      license
      A
      quality
      D
      maintenance
      An MCP server for FPGA toolchain operations including linting, simulation, synthesis, place-and-route, bitstream programming, and IP core registry via GitHub.
      25
      8
      MIT

    • bsv-specmate

      Alele496
      A
      license
      Not graded
      quality
      C
      maintenance
      MCP server that equips AI agents with BSV-specific development tools including static analysis, pitfall prediction, and BSC error diagnosis to produce correct Bluespec code with fewer compile failures.
      148 npm
      3
      MIT