bluespec bh mcp for VS 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:VS Code
transport:stdio
runtime:npm
Install bluespec bh mcp in VS Code
.vscode/mcp.json
{
"servers": {
"bluespec-bh-mcp": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@mrfentmen/bluespec-bh-mcp"
]
}
}
}Requires agent mode. MCP: Open User Configuration puts the same block in every workspace. VS Code docs