Verified record · from the answer index

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 hardwa

claude mcp add specmate -- npx -y bsv-specmate

registry:io.github.Alele496/bsv-specmate · published by alele496 · source repository