{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.mrfentmen/bluespec-bh-mcp","description":"Bluespec BH MCP: 20 real tools to read, check, lint, scaffold, build and run Bluespec BH code.","repository":{"url":"https://github.com/mrfentmen/awesome-servers","source":"github"},"version":"1.0.0","packages":[{"registryType":"npm","identifier":"@mrfentmen/bluespec-bh-mcp","version":"1.0.0","transport":{"type":"stdio"}}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-11-08T10:23:54.427269Z","publishedAt":"2026-11-08T10:23:54.427269Z","updatedAt":"2026-11-08T10:23:54.427269Z","isLatest":true}}}