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.
Skill Claude CodeCodex
An AI coding companion for Bluespec SystemVerilog, or BSV, a language used to describe digital hardware. It explains common BSV compiler errors, checks code patterns, searches official examples, and stores resolved problems according to the provided workflow.
Agent
A project adviser for the BSV coding project. BSV is a hardware-description language, and this adviser reads project documents and discusses implementation direction without editing files.
Agent
A coding agent for BSV, a language for describing hardware circuits. It turns natural-language hardware requirements into BSV source code and a matching testbench.
Agent
A BSV code reviewer that checks hardware source files and reports problems without changing them. It can consult the BSV knowledge engine when it needs guidance.
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.