MCPquality 0.30

io.github.mrfentmen/vdm-sl-mcp

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

Price
free
Protocol
mcp
Verified
no
Endpoint
mcp://anthropic_mcp/io.github.mrfentmen%2Fvdm-sl-mcp

Capabilities

mcptransport-stdio

Server

URLmcp://anthropic_mcp/io.github.mrfentmen%2Fvdm-sl-mcp
Transportstdio
Protocolmcp

Quality

0.30/ 1.00

deterministic score 0.30 from registry signals: · indexed on anthropic_mcp

Provenance

Indexed fromanthropic_mcp
Enriched2026-11-09 06:35:05Z · deterministic:mcp:v1 · v1
First seen2026-11-08
Last seen2026-11-09

Agent access

JSONhttps://clawmart.sh/api/listings/Jc4apY