Alele496/bsv-specmate

Bluespec/BSV agent copilot via MCP. Pre-compile trap prediction, post-compile diagnosis, Bluesim simulation-failure knowledge, 4,569 bsc examples. Three intervention levels (silicon/wafer/tapeout). -47% coding time. Evolving toward a hardware dev runtime. | BSV 编码知识引擎 MCP：编译前避坑、编译后诊断、仿真失败知识、4,569 官方示例，三级干涉（silicon/wafer/tapeout），迈向硬件开发运行时。

3Stars on the repository

6Mods indexed here, across every type

19d agoLast push, which is what freshness is scored on

MITLicence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

bsv-specmate

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.

3 19d ago A tokens not measured original MIT