Style Checker
noumena-labs/Sipp
Enforces this monorepo's coding style rules by inspecting git diffs, reading .agents/skills/style-checker/references/styleguidance.md, fixing style violations, and reporting the result.
Use rust-gdb to inspect variables and step through code without modifying it.
$ npx skills add wado-lang/wado --skill debugger -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install wado-lang/wado debugger --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/wado-lang/wado.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.claude/skills/debugger .claude/skills/debugger && rm -rf skills-srcUse ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.
Claude Code skills documentation · loads skills from .claude/skills/
Install the "debugger" agent skill from https://github.com/wado-lang/wado/tree/main/.claude/skills/debugger into .claude/skills/debugger/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "debugger", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/wado-lang/wado/tree/main/.claude/skills/debuggerType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add wado-lang/wado --skill debugger -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install wado-lang/wado debugger --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/wado-lang/wado.git skills-src && mkdir -p .agents/skills && cp -r skills-src/.claude/skills/debugger .agents/skills/debugger && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "debugger" agent skill from https://github.com/wado-lang/wado/tree/main/.claude/skills/debugger into .agents/skills/debugger/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "debugger", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add wado-lang/wado --skill debugger -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install wado-lang/wado debugger --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/wado-lang/wado.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/.claude/skills/debugger .cursor/skills/debugger && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "debugger" agent skill from https://github.com/wado-lang/wado/tree/main/.claude/skills/debugger into .cursor/skills/debugger/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "debugger", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/wado-lang/wado.git --path .claude/skills/debugger--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add wado-lang/wado --skill debugger -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install wado-lang/wado debugger --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/wado-lang/wado.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/.claude/skills/debugger .gemini/skills/debugger && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "debugger" agent skill from https://github.com/wado-lang/wado/tree/main/.claude/skills/debugger into .gemini/skills/debugger/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "debugger", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install wado-lang/wado debuggerInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add wado-lang/wado --skill debugger -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/wado-lang/wado.git skills-src && mkdir -p .github/skills && cp -r skills-src/.claude/skills/debugger .github/skills/debugger && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "debugger" agent skill from https://github.com/wado-lang/wado/tree/main/.claude/skills/debugger into .github/skills/debugger/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "debugger", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add wado-lang/wado --skill debugger -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install wado-lang/wado debugger --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/wado-lang/wado.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/.claude/skills/debugger .opencode/skills/debugger && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "debugger" agent skill from https://github.com/wado-lang/wado/tree/main/.claude/skills/debugger into .opencode/skills/debugger/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "debugger", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
debuggerUse rust-gdb to inspect variables and step through code without modifying it.
Debugger is an agent skill from wado-lang/wado. Use rust-gdb to inspect variables and step through code without modifying it. Prefer it over print debugging for any investigation into what the compiler is actually doing (lldb is unavailable on Claude Code Web).
Its SKILL.md is about 900 tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.
It sits in Development. It works with Rust and WebAssembly. The repository describes itself as: The Wado Programming Language. The licence is MIT.
Read from SKILL.md and the folder at commit 037dba4. It shows what the files ask for, not the result of running them.
Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.
From allowed-tools in the SKILL.md frontmatter.
Shell commands in SKILL.md call:
cargoFrom the folder's file list and the shell code blocks in SKILL.md.
No URLs in SKILL.md.
From URLs in SKILL.md, links to its own repository left out.
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Debugger loads about 904 tokens when it runs. Until then it costs about 56 tokens; SKILL.md has 386 words of instructions outside code blocks.
Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.
The automated check found no risky patterns in SKILL.md.
Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.
The full file from wado-lang/wado at commit 037dba4, republished under its MIT licence (© wado-lang). 386 words, ~904 tokens.
.claude/skills/debugger/SKILL.md (or your agent's skills folder).Debug wado compiler with rust-gdb.
dev sets debug = "line-tables-only" and raises the workspace crates to
opt-level = 1, so info locals / info args come back empty in every
compiler frame. Build the debugger profile instead — full DWARF, no
optimization on the crates being stepped through, its own target/debugger/
dir so the dev cache stays warm:
cargo build --profile debugger --bin wadocat > scratchpad/gdb_commands.txt << 'EOF'
file ./target/debugger/wado
set pagination off
break emit_function
run compile -o scratchpad/out.wasm example/hello.wado
info locals
print func.name
bt 5
quit
EOF
rust-gdb --batch -x scratchpad/gdb_commands.txtBreak on a function name, not a file:line: a line number drifts with the
next edit above it. gdb matches a bare name in every module, so qualify one
that more than one module defines.
A breakpoint that fires thousands of times and gets greped answers one
question and costs a rebuild for the next. Make the breakpoint itself select:
break wado_compiler::wir_build::calls::local_get if $_streq(name->data_ptr, "…")
break substitute_types_in_expr
commands
silent
bt 6
continue
endbt at a conditional hit gives the origin outright — the thing print
debugging cannot produce without guessing where to put the next eprintln!.
printf "%s", s fails on a Rust String (it is a struct, not a char*) and
aborts the whole command file with Value can't be converted to integer. Use
print, which rust-gdb's pretty printers handle:
print fq # "core:prelude/string.wado/String^Eq::eq"
print *expr
print info.struct_name$_streq(s->data_ptr, "lit") is the way to compare one inside a breakpoint
condition.
rust-gdb --batch exits on the first command error, so a typo in a commands
block silently truncates the rest of the run — check the tail of the output for
Error in sourced command file before trusting an empty result. Redirect to a
file and grep it; the DWO-loading noise otherwise buries the hits:
rust-gdb --batch -x scratchpad/gdb_commands.txt > scratchpad/gdb.log 2>&1
grep -a '^\$[0-9]* = ' scratchpad/gdb.log | sort -uThe debugger answers "what is this value here". When the question is "where
else does this invariant break", an assertion at the point the invariant must
hold enumerates every violation in one run and keeps doing so afterwards —
the same reason a newtype that makes an illegal name unconstructible beats
chasing one miscompile at a time. Reach for debug_assert! / assert! in the
merge or registration step first, and for gdb once it fires and you need the
values behind it.
| Command | Description |
|---|---|
info locals | Show local variables |
info args | Show function arguments |
print *expr | Dereference and print pointer |
bt 5 | Backtrace (top 5 frames) |
continue | Resume execution |
lldb does not work in Claude Code Web due to ptrace restrictions:
error: Cannot launch '...': personality get failed: Invalid argumentUse rust-gdb instead.
© wado-lang, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file
Just SKILL.md in .claude/skills/debugger of wado-lang/wado.
Open the folder on GitHubat commit 037dba4
Debugger next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Debugger this skillwado-lang/wado | 117 | — | ~904 | Automated safety check: Pass | MIT | |
| Style Checkernoumena-labs/Sipp | 121 | — | ~1.4k | Automated safety check: Pass | Apache-2.0 | |
| Working With Nixxmtp/libxmtp | 121 | — | ~1.4k | Automated safety check: Pass | MIT | |
| Upgrade Dear Imgui StackLatias94/dear-imgui-rs | 107 | — | ~977 | Automated safety check: Pass | Apache-2.0 | |
| shiguredo_mp4 Rust MP4 Library Referenceshiguredo/mp4-rs | 159 | — | ~4.4k | Automated safety check: Pass | Apache-2.0 | |
| Automerge Syncnteract/nteract | 179 | — | ~4.5k | Automated safety check: Pass | BSD-3-Clause |
noumena-labs/Sipp
Enforces this monorepo's coding style rules by inspecting git diffs, reading .agents/skills/style-checker/references/styleguidance.md, fixing style violations, and reporting the result.
xmtp/libxmtp
A skill your agent uses when working with Nix flakes, selecting devShells, debugging environment issues, or understanding Nix infrastructure - covers shell selection, environment detection, common…
Latias94/dear-imgui-rs
A skill your agent uses when a user asks to upgrade Dear ImGui, cimgui, ImPlot, ImPlot3D, ImNodes, ImGuizmo, Dear ImGui Test Engine, or related bindings in this repository.
shiguredo/mp4-rs
API reference for the shiguredo_mp4 Rust library: muxing and demuxing MP4 and fragmented MP4, encoding and decoding boxes, and its Sans I/O design.
nteract/nteract
Automerge sync protocol internals, document model (OpSet, ChangeGraph, fork/merge, save/load lifecycle), and higher-level protocol design patterns.
nteract/nteract
Develop, debug, and manage the runtimed daemon, Python bindings, and build system.
wado-lang/wado
Profile the native Rust wado binary (compile/serve/run) for host-side bottlenecks — CPU with a sampling profiler, memory with the span trace's RSS and valgrind DHAT.
wado-lang/wado
Analyze and improve the runtime speed of a Wado program's compiled guest Wasm — profile hot functions, read the generated WIR for allocations and copies, reason about the WasmGC cost model, and…
wado-lang/wado
Measure how long GitHub Actions jobs and steps took across past runs, and find the pull request that made CI slower.
wado-lang/wado
Investigate and improve code coverage for the wado-compiler crate.
wado-lang/wado
The only way to merge origin/main into a branch, conflicts or not.
wado-lang/wado
Transpile Wado Wasm components to JS with jco, then run, debug, and benchmark them on Node.
Works with
Categories
Use rust-gdb to inspect variables and step through code without modifying it. Debugger is an agent skill from wado-lang/wado. Use rust-gdb to inspect variables and step through code without modifying it.
Debugger fits situations like: development work in your project.
Run `npx skills add wado-lang/wado --skill debugger -a claude-code`. Or copy the skill folder (.claude/skills/debugger in wado-lang/wado) into .claude/skills/debugger in your project. Claude Code loads it when a task matches its description.
Run `npx skills add wado-lang/wado --skill debugger -a codex`. Or copy the skill folder (.claude/skills/debugger in wado-lang/wado) into .agents/skills/debugger in your project. Codex loads it when a task matches its description.
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add wado-lang/wado --skill debugger -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/debugger, .gemini/skills/debugger, .github/skills/debugger and .opencode/skills/debugger in your project.
Going by SKILL.md and its folder, Debugger needs the command-line tools its instructions call (cargo).
SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.
Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.
Debugger is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.
About 904 tokens (SKILL.md is roughly 3.6k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.
Skills that share tags, products or a category with Debugger: Style Checker (noumena-labs/Sipp, 121 stars), Working With Nix (xmtp/libxmtp, 121 stars), Upgrade Dear Imgui Stack (Latias94/dear-imgui-rs, 107 stars) and shiguredo_mp4 Rust MP4 Library Reference (shiguredo/mp4-rs, 159 stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
wado-lang (a GitHub organization) maintains it in wado-lang/wado, which has 117 GitHub stars. The repository holds 15 skills in this directory. The repository was last updated on October 8, 2026.
Source: wado-lang/wado on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.