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），迈向硬件开发运行时。
Instructions file CodexOpenCode
Coding instructions for BSV, a language used for smart contracts on the Bitcoin SV network, together with procedures for using specmate to inspect code and compiler errors.