Vdm Sl MCP Server

by mrfentmen Your server? Claim it

local only

Vdm Sl MCP runs on your own machine — the client starts it, so there is no endpoint to ping. Last commit 8 Nov 2026.

VDM-SL MCP: 20 real tools to read, check, lint, scaffold, build and run VDM-SL code.

—

Installs / week

npm · @mrfentmen/vdm-sl-mcp

Stars

0 open issues

8 Nov 2026

Last commit

2 releases in 90 days

—

License

TypeScript

Nothing serious here today

Today is the operative word: we check Vdm Sl MCP every 15 minutes and re-read its code on every release. Watch it and you find out the day that stops being true.

Connect this server

This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.

Claude Code Claude Desktop Codex Cursor VS Code

run in your terminal

claude mcp add vdm-sl-mcp -- npx -y @mrfentmen/vdm-sl-mcp

~/Library/Application Support/Claude/claude_desktop_config.json

{
  "mcpServers": {
    "vdm-sl-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "@mrfentmen/vdm-sl-mcp"
      ]
    }
  }
}

~/.codex/config.toml

[mcp_servers.vdm-sl-mcp]
command = "npx"
args = ["-y", "@mrfentmen/vdm-sl-mcp"]

.cursor/mcp.json

{
  "mcpServers": {
    "vdm-sl-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "@mrfentmen/vdm-sl-mcp"
      ]
    }
  }
}

.vscode/mcp.json

{
  "servers": {
    "vdm-sl-mcp": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "@mrfentmen/vdm-sl-mcp"
      ]
    }
  }
}

Alternatives to Vdm Sl MCP

same job, measured the same way

Vdm MCP

by mrfentmen

VDM MCP: 20 real tools to read, check, lint, scaffold, build and run VDM code.

local only

Dm MCP

by mrfentmen

DM MCP: 20 real tools to read, check, lint, scaffold, build and run DM code.

local only

Asl MCP

by mrfentmen

ASL MCP: 20 real tools to read, check, lint, scaffold, build and run ASL code.

local only

Lsl MCP

by mrfentmen

LSL MCP: 20 real tools to read, check, lint, scaffold, build and run LSL code.

local only

B MCP

by mrfentmen

B MCP: 20 real tools to read, check, lint, scaffold, build and run B code.

local only

C MCP

by mrfentmen

C MCP: 20 real tools to read, check, lint, scaffold, build and run C code.

local only

Cpp MCP

by mrfentmen

C++ MCP: 20 real tools to read, check, lint, scaffold, build and run C++ code.

local only

M MCP

by mrfentmen

M MCP: 20 real tools to read, check, lint, scaffold, build and run M code.

local only

Vdm Sl MCP — questions

Answers built from our own checks of this server.

Why is there no uptime for Vdm Sl MCP?

Vdm Sl MCP runs on your own machine over stdio — there is no network address to reach, so uptime cannot be measured for it by anyone. What can be measured is adoption: the npm package @mrfentmen/vdm-sl-mcp.

How do I connect Vdm Sl MCP?

Copy the ready config from this page. We generate it for Claude Code, Claude Desktop, Codex, Cursor and VS Code, each in the form that client actually reads. It runs locally, so the command pulls @mrfentmen/vdm-sl-mcp straight from npm; nothing to host, nothing to sign up for.

Is Vdm Sl MCP open source?

We cannot say either way: written in TypeScript and 0 stars on GitHub, but we could not determine the licence, and without one the code is not open source by default.