bluespec bh mcp for Claude Code

io.github.mrfentmen/bluespec-bh-mcp

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

client:Claude Code transport:stdio runtime:npm

Install bluespec bh mcp in Claude Code

run in your project directory

claude mcp add bluespec-bh-mcp -- npx -y @mrfentmen/bluespec-bh-mcp

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs