MCP servers
bluespec-bh-mcp
Bluespec BH MCP: 20 real tools to read, check, lint, scaffold, build and run Bluespec BH code.
Remotes
This server publishes no hosted endpoint. Run one of its packages locally.
Packages
@mrfentmen/bluespec-bh-mcp · npm 1.0.0 · stdio
claude mcp add --transport stdio bluespec-bh-mcp -- npx -y @mrfentmen/bluespec-bh-mcp@1.0.0Server details
- Registry name
- io.github.mrfentmen/bluespec-bh-mcp
- Version
- 1.0.0
- Registry status
- active
- Repository
- mrfentmen/awesome-servers
- First published
- Source
- Official MCP Registry
