bb-check-cdc

bb-check-cdc is a skill for Claude Code from amoslee2026/Babel. It costs 69 tokens per session (876 once invoked), scanned A, original, GPL-3.0.

An automated checker for CDC and RDC violations in hardware designs. It uses an abstract syntax tree to compare clock domains and checks whether crossing signals are protected by two-flip-flop synchronizers.

In plain words
What is it for?
Use it before synthesis to inspect clock-domain and reset-domain crossings against the design's clock-domain definitions.
Why use it?
Signals crossing between clock or reset domains can behave incorrectly unless safely synchronized. This finds missing protection before synthesis, which turns hardware design into a final circuit.

Skill for Claude Code

Written for Claude Code: user-invocable in frontmatter.

Good fit Use it before synthesis to inspect clock-domain and reset-domain crossings against the design's clock-domain definitions.

Compare 6 skills from other repositories ↓
Install with agentmods
npx agentmods add skills/amoslee2026/babel/bb-check-cdc
Install

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.

Any agent
npx skills add amoslee2026/Babel --skill bb-check-cdc
Clone the repo
git clone --depth 1 https://github.com/amoslee2026/Babel

Made for: Claude Code.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

agentmods badge for bb-check-cdc

README.md
[![agentmods](https://agentmods.dev/badge/skills/amoslee2026/babel/bb-check-cdc/github.svg)](https://agentmods.dev/skills/amoslee2026/babel/bb-check-cdc)
Your own site
<a href="https://agentmods.dev/skills/amoslee2026/babel/bb-check-cdc"><img src="https://agentmods.dev/badge/skills/amoslee2026/babel/bb-check-cdc/github.svg" alt="Measured on agentmods" height="20"></a>

Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.

agentmods 80×15 button for bb-check-cdc

Your own site · 80×15
<a href="https://agentmods.dev/skills/amoslee2026/babel/bb-check-cdc"><img src="https://agentmods.dev/badge/skills/amoslee2026/babel/bb-check-cdc.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 69 Skills are progressive disclosure: only the name and description are preloaded; the body loads when the skill is used.
When invoked 876 The whole file, excluding the scripts and references it only reads on demand.
Security scan A 0 findings. A grade says what 26 rules found in the file — not that it is safe.
Origin unknown No closer match found in the catalogue.
Token cost

What 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.

ModelPer sessionOnce invoked
Fable 5.1 $0.00069 $0.00876
Opus 5.5 $0.00028 $0.00350
Sonnet 5.5 $0.00014 $0.00175
Haiku 4.5 $0.00007 $0.00088

Measured 1mo ago against content hash c8382b8c16ce, method: parsed. Prices are Anthropic first-party input rates as of 2026-10-07, from the pricing page.

Security

Grade A, and why

bb-check-cdc 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 1mo ago.

The scan reads SKILL.md. This mod also ships 4 executable files (scripts/check_cdc.py, scripts/parse_cdc.py, scripts/render_cdc_py.py, …), listed below but not scanned — reading those needs a real analyzer, not pattern matching.

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.

.omp/skills/bb-check-cdc/SKILL.md · 88 lines

The source is not reproduced here

Licensed GPL-3.0

The repository is licensed GPL-3.0, which this catalogue does not treat as permission to reproduce the file. Read it at the source.

Read it on GitHub

Files

What ships with it

6 files beside SKILL.md in the same directory: the scripts, references and assets a skill reads on demand. Not counted in the per-session cost; read them before you install if any of them is executable.

Changes

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.

  1. 1mo ago First seen · 88 lines · 69 tokens per session scan A c8382b8c16ce

Subscribe to this mod's changes

bb-check-cdc is a skill published in the GitHub repository amoslee2026/Babel (50 stars, last pushed yesterday), licensed GPL-3.0. It adds 69 tokens to every session and 876 once invoked, about $0.0003 per session on Opus 5.5. 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-09-04.

Related

Other skills, from other repositories

gke-ai-troubleshooting-tpu-dynamic-slices-monitoring

Monitors, troubleshoots, and manages GKE TPU Dynamic Slices custom resources. Use when checking TPU slice lifecycle states, troubleshooting slice provisioning failures, validating single-slice or multi-slice (JobSet) workload manifests, or safely patching stuck finalizers and disabling the slice controller. Don't use…

google/skills · 107 tokens

gke-ai-troubleshooting-tpu-vbar-oom

Diagnoses and prevents vbarcontrolagent segfaults, out-of-memory (OOM) errors, and TPU device initialization failures on TPU v6e nodes in GKE caused by race conditions during TPU device resets or high-frequency metrics polling. Use when troubleshooting vbarcontrolagent crashes, memory cgroup OOMs in serial console…

google/skills · 125 tokens

doca-flow

DOCA Flow packet steering on NVIDIA NICs/DPUs, linked into a C application: match/action pipes, ports, representors, forwarding, hairpin, counters. Trigger on packet steering, classifier, rule-matching, representor, hairpin or 5-tuple-to-queue questions even when "DOCA Flow" is not named. Also covers pipe validation…

NVIDIA/skills · 224 tokens

competition-firmware-layout

Internal downstream skill for ctf-sandbox-orchestrator. CTF-sandbox workflow for firmware images, partition tables, boot chains, update packages, extracted filesystems, embedded configs, and device-facing trust boundaries. Use when the user asks to unpack firmware, map partition layout, inspect bootloader or init…

zhaoxuya520/reverse-skill · 110 tokens

diagnose-driver-install

Diagnose NVIDIA driver installation failures on DeepOps-managed nodes — nvidia-smi errors, "No devices were found", DKMS build failures, or GPU pods crash-looping. Use before reinstalling anything.

NVIDIA/deepops · 47 tokens

catc-troubleshoot

Catalyst Center troubleshooting workflows - device unreachable investigation, client connectivity issues, interface down analysis, site-wide outage triage, wireless roaming problems, integration with pyATS for CLI-level diagnostics. Use when the device is managed by Catalyst Center and you want its…

automateyournetwork/netclaw · 114 tokens