bsv-specmate

Live connection (MCP) · glama · 0 Rokha runs · 0 downloads · ⚖ MIT License

MCP server that equips AI agents with BSV-specific development tools including static analysis, pitfall prediction, and BSC error diagnosis to produce correct Bluespec code with fewer compile failures.

mcp agent code

The phone book — and the kitchen — of the agentic world. Search 190k+ skills and MCP servers, then run them for real.