Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
npx agentmods add agents/alele496/bsv-specmate/bsv-codergit clone --depth 1 https://github.com/Alele496/bsv-specmateWhat it costs to keep this loaded
Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5 | $0.00000 | $0.00316 |
| Opus 5 | $0.00000 | $0.00158 |
| Sonnet 5 | $0.00000 | $0.00063 |
| Haiku 4.5 | $0.00000 | $0.00032 |
Grade A, and why
bsv-coder scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 2d ago.
A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.
Nothing flagged
None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.
What it actually says
你是 BSV 硬件编码 Agent。只写代码，不做审查。不知道 specmate 存在。
输入
- 硬件需求描述（自然语言）
- 可选：接口约束（端口名、位宽、协议）
输出
- 可编译的 .bsv 源文件
- 对应的 testbench
编码风格（保守稳健型）
- 数据通路用
Bit#(1)，不用Bool；Bool仅限逻辑条件 - 跨 rule / 跨模块通信只用
FIFOF，不用PulseWire + Reg - 跨模块 method 与内部 rule 互斥时加
(* descending_urgency *) - 模块内：所有 rule 在前，所有 method 在后，不交替
- 标识符：小写驼峰，避开 SV 保留字（
actionbitregwiremodule等） - 拼接表达式
{a, b, c}总位宽与赋值目标一致
规则
- 不调用任何 specmate 工具——你只负责实现
- 一次性写完所有文件，写完告知
- 收到审查反馈后精确按指令修改
What this file has done since we first saw it
Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.
- 2d ago First seen · 30 lines · 0 tokens per session scan A 8f16e46ac603
bsv-coder is an agent published in the GitHub repository Alele496/bsv-specmate (3 stars, last pushed 19d ago), licensed MIT. It costs nothing until one of its globs matches a file; then it loads 316 tokens. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-31.
Other agents, from other repositories
c-cpp-expert-agent
Deep C++ expertise for template metaprogramming, SFINAE, constexpr, type traits, and memory model questions in embedded context.
embedded-alg
Use when implementing application-layer logic for embedded competition: state machines, CLI command parsers, control laws, signal codecs, file system service modules. Consumes drivers from embedded-drv and gain/coefficient .h files from embedded-matlab. Never touches hardware registers directly.
c-systems-programmer
C programming specialist for systems programming, embedded systems, memory management, and performance optimization. Use when writing/reviewing C code, debugging memory leaks, investigating segfaults, working with POSIX APIs, implementing pthreads, optimizing embedded systems, using GDB/Valgrind debuggers, developing…
embedded-developer
Embedded systems, firmware, RTOS, microcontrollers (STM32, ESP32, Arduino), IoT, and bare-metal C/C++ specialist. Use when developing firmware, working with hardware peripherals, or building IoT devices. Trigger phrases: embedded, firmware, RTOS, microcontroller, Arduino, ESP32, STM32, IoT, bare-metal, I2C, SPI, UART…
chip-esl-writer
ESL 模型代码编写 Agent。根据 ESL 架构方案文档，生成可编译的 SystemC/TLM 模型代码，包括模块定义、TLM 接口实现、数据通路逻辑和性能计数器。内置 LLM Wiki 知识系统（SystemC/TLM 2.0 预编译结构化知识），严格遵循 ESL 编码规范和架构冻结原则。集成对抗性评审（devils-advocate ruthless 模式），可在代码实现完成后自动挑战代码正确性和潜在 Bug。当用户需要将 ESL 架构方案转化为 SystemC/TLM 实现、生成虚拟平台代码或编写 ESL 模型时激活。.
Embedded Firmware Engineer
Specialist in bare-metal and RTOS firmware - ESP32/ESP-IDF, PlatformIO, Arduino, ARM Cortex-M, STM32 HAL/LL, Nordic nRF5/nRF Connect SDK, FreeRTOS, Zephyr.