メニュー
Inspect a compiled .wasm binary — validates structure, lists exports and imports, detects SIMD and threading opcodes, and reports binary size. Requires wabt; wasm-opt (Binaryen) is optional.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
Scan Claude Code JSONL session transcript files for behavioral patterns — loops, errors, expensive turns, trial-and-error signatures. Returns structured findings for the improvement-analyst agent.
Run a Criterion benchmark on a Rust DSP crate and assert against a checked-in baseline. Establishes whether the implementation fits the real-time budget and catches performance regressions — the Rust equivalent of `perf stat` against the audio buffer time.
Regenerate a C header from a Rust crate via cbindgen and diff it against the committed header. Fails if the generated output differs — catches "Rust signature changed but the C header was not regenerated" before it reaches the C side.
Run `cargo +nightly miri test` against a Rust DSP crate to detect undefined behaviour the compiler missed — out-of-bounds access, use-after-free, uninitialised memory reads, invalid pointer arithmetic. Miri is the cheapest sound UB detector for Rust; this skill wraps it with the right isolation flags for audio DSP crates.
Audit a Rust DSP crate for real-time-safety violations — verifies `#![no_std]`, no `alloc` dependency, `panic = "abort"`, runs targeted clippy lints, greps for banned constructs in the hot path, and scans the compiled LLVM-IR for allocator symbols. Designed to be run on any Rust DSP crate before merge.
Opinionated wasm-pack wrapper that builds a Rust crate to wasm32-unknown-unknown with project-pinned flags (SIMD, LTO, panic=abort), applies a wasm-opt post-pass, and auto-invokes wasm-module-inspect on the result. Single entry point so the agent never reaches for raw wasm-pack and forgets a flag.
| name | wasm-module-inspect |
| description | Inspect a compiled .wasm binary — validates structure, lists exports and imports, detects SIMD and threading opcodes, and reports binary size. Requires wabt; wasm-opt (Binaryen) is optional. |
| allowed-tools | Bash |
| argument-hint | <module.wasm> |
Inspect a compiled .wasm binary to verify it is valid, understand its public API surface, and detect compilation features (SIMD, threads).
wasm-validate, wasm2wat) — install via brew install wabt (macOS), apt install wabt (Linux), or from https://github.com/WebAssembly/wabt/releasesbrew install binaryen for feature reportingThe argument is in $ARGUMENTS. Pass it directly to the inspection script:
bash "$(dirname "$0")/inspect.sh" $ARGUMENTS
| Section | What it reports |
|---|---|
SIZE | Binary size in bytes and KB |
VALID | Pass/fail from wasm-validate |
EXPORTS | All exported functions, memories, tables, globals |
IMPORTS | All imported functions (JS host functions the module depends on) |
SIMD | Whether v128 (WASM SIMD) opcodes are present |
THREADS | Whether atomic instructions are present (requires SharedArrayBuffer) |
FEATURES | Full feature list from wasm-opt --print-features (if available) |
# After an Emscripten build — confirm exports match expected API
bash inspect.sh build/my-dsp.wasm
# Before deploying — confirm SIMD is present in the optimised build
bash inspect.sh dist/processor.wasm
_init, _process, _destroy). Unexpected exports indicate -s EXPORTED_FUNCTIONS was not set correctly.-msimd128 was applied and the WASM binary actually contains vectorised code.COOP/COEP headers — flag this if the deployment environment does not support them.-s FILESYSTEM=0 not set) or C++ RTTI/exceptions were not disabled.