← all MCP servers
io.github.mrfentmen/bluespec-mcp
Bluespec MCP: 20 real tools to read, check, lint, scaffold, build and run Bluespec code.
install
npm · stdio
npx -y @mrfentmen/bluespec-mcp@1.0.0
details
- version
- 1.0.0
- stars
- 0
- last commit
- 2026-11-08
- published
- 2026-11-08
last synced 2026-11-09