Alele496/bsv-specmate

Bluespec/BSV agent copilot via MCP. Pre-compile trap prediction, post-compile diagnosis, Bluesim simulation-failure knowledge, and 4,569 bsc examples. Three intervention levels (silicon/wafer/tapeout). -47% coding time. Evolving toward a hardware development runtime. | BSV coding knowledge engine MCP: pre-compile pitfalls, post-compile diagnosis, simulation-failure knowledge, and 4,569 official examples

This repository also configures its own agents. See what bsv-specmate tells them →

3Stars on the repository
3Mods indexed here, across every type
2mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown

bsv-specmate

01

Alele496/bsv-specmate

MCP server Claude CodeCodexCursor +2

BSV coding knowledge engine for AI agents — pre-compile traps and post-compile diagnosis. Runs locally from the bsv-specmate npm package.

not rated 3 2mo ago A tokens not measured original MIT