← all MCP servers
io.github.mrfentmen/vdm-sl-mcp
VDM-SL MCP: 20 real tools to read, check, lint, scaffold, build and run VDM-SL code.
install
npm · stdio
npx -y @mrfentmen/vdm-sl-mcp@1.0.0
details
- version
- 1.0.0
- stars
- 0
- last commit
- 2026-11-08
- published
- 2026-11-08
last synced 2026-11-09