void-box: Skill for Claude Code

.claude/skills/verify/SKILL.md

verify is a skill for Claude Code from the-void-ia/void-box. It costs 57 tokens per session (1,513 once invoked), scanned A, original, Apache-2.0.

A repository quality-check routine for Rust projects. It runs formatting, linting, tests, a security audit, startup-speed checks, and—when required secrets are available—a real-workload smoke test.

In plain words
What is it for?
Use it to validate Rust changes before review or release. It covers code style, compiler warnings, automated tests, dependency security, startup performance, and selected end-to-end behavior.
Why use it?
It gathers the checks needed before calling an implementation complete or pushing a branch. It stops at the first failure so problems are reported early.

Skill for Claude Code

Written for Claude Code: installed under .claude/. Also seen: built for openclaw.

This is the-void-ia/void-box's own configuration. It tells Claude Code how to work on void-box itself, so it is not a mod to install elsewhere. Copy it as a starting point and replace the rules that are about this project. Everything void-box configures →

Needs its repository: it runs a file that does not travel with it, so clone the repository first. The line is ./target/release/voidbox-startup-bench --iters 20 --breakdown 2>&1 | \.

Reuse

Borrowing it

Nothing to install: this file belongs to the-void-ia/void-box. Take a copy, put it at the same path in your own repository, and replace the rules that are about this project with yours.

Copy the file
curl -O https://raw.githubusercontent.com/the-void-ia/void-box/main/.claude/skills/verify/SKILL.md
Clone the repo
git clone --depth 1 https://github.com/the-void-ia/void-box

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 verify

README.md
[![agentmods](https://agentmods.dev/badge/skills/the-void-ia/void-box/verify/github.svg)](https://agentmods.dev/skills/the-void-ia/void-box/verify)
Your own site
<a href="https://agentmods.dev/skills/the-void-ia/void-box/verify"><img src="https://agentmods.dev/badge/skills/the-void-ia/void-box/verify/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 verify

Your own site · 80×15
<a href="https://agentmods.dev/skills/the-void-ia/void-box/verify"><img src="https://agentmods.dev/badge/skills/the-void-ia/void-box/verify.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 57 Skills are progressive disclosure: only the name and description are preloaded; the body loads when the skill is used.
When invoked 1,513 The whole file, excluding the scripts and references it only reads on demand.
Security scan A 1 finding. A grade says what 26 rules found in the file — not that it is safe. Third-party audits
  • NVIDIA SkillSpector pass 7 Sept 2026
How audits are shown
Origin original 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.00057 $0.01513
Opus 5.5 $0.00023 $0.00605
Sonnet 5.5 $0.00011 $0.00303
Haiku 4.5 $0.00006 $0.00151

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

Security

Grade A, and why

verify scanned grade A with 1 finding 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 2mo 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.

Makes network callslowCapability

Not a fault in itself. Listed so you know the mod talks to something, and to what.

# HN researcher (Claude agent + real HN API via curl+jq, writes output.md)
.claude/skills/verify/SKILL.md · 128 lines

How it starts

The opening of the file, as written. The whole thing — 128 lines — stays where its author put it; the contents beside it link to each section on GitHub.

Run these checks in order. Stop and report at the first failure.

1. Format check

cargo fmt --all -- --check

2. Clippy (guest-agent builds as a no-op stub on non-Linux, so the same command runs on macOS)

cargo clippy --workspace --all-targets --all-features -- -D warnings

3. Tests

cargo test --workspace --all-features --verbose
cargo test --doc --workspace --all-features

Note: Integration and E2E tests (conformance, snapshot, e2e_*) require VOID_BOX_KERNEL and VOID_BOX_INITRAMFS to be set and use --ignored --test-threads=1. Only run them if the user requests VM-level validation.

4. Security audit

cargo audit --deny warnings

5. Startup bench regression gate (required before push; thresholds differ by host)

Guards against regressions in the subsecond startup path. Thresholds are host-specific because Linux/KVM and macOS/VZ have different floors — VZ cold time is dominated by Hypervisor.framework setup, not kernel init, so the slim kernel helps much less on macOS.

On Linux (fail if cold p50 > 400 ms or warm p50 > 200 ms):

cargo build --release --bin voidbox-startup-bench
export VOID_BOX_KERNEL=$PWD/target/vmlinux-slim-x86_64
export VOID_BOX_INITRAMFS=/tmp/void-box-test-rootfs.cpio.gz
./target/release/voidbox-startup-bench --iters 20 --breakdown 2>&1 | \
  tee target/tmp/verify_bench.log | grep -E "^(cold|warm)\.total"

On macOS/arm64 — M-series (fail if cold p50 > 2.2 s or warm p50 > 320 ms). Thresholds are provisional, derived from a single n=10 baseline; re-measure at n=20 on the target host before treating them as hard gates. Intel Mac / VZ has no baseline yet; skip this step or measure locally first. Use cargo run so the .cargo/config.toml runner codesigns the bench binary automatically — direct invocation of target/release/... skips the runner and fails with a com.apple.security.virtualization entitlement error:

export VOID_BOX_KERNEL=$PWD/target/vmlinux-slim-aarch64
export VOID_BOX_INITRAMFS=/tmp/void-box-test-rootfs.cpio.gz
cargo run --release --bin voidbox-startup-bench -- --iters 20 --breakdown 2>&1 | \
  tee target/tmp/verify_bench.log | grep -E "^(cold|warm)\.total"
  • If vmlinux-slim-<arch> is missing, run scripts/build_slim_kernel.sh first (10 min cold; cached thereafter). On macOS the script auto-re-execs inside an ubuntu:24.04 container — requires Docker Desktop running.
  • If the test rootfs is missing, run scripts/build_test_image.sh.
  • Reference numbers:
    • Fedora 43 / KVM / slim x86_64: cold p50 ≈ 252 ms / p95 ≈ 260 ms, warm p50 ≈ 138 ms / p95 ≈ 144 ms.
    • M-series / VZ / slim aarch64: cold p50 ≈ 1.9 s, warm p50 ≈ 282 ms (n=10 baseline; re-measure at n=20 and tune thresholds when you have a stable sample).
  • If the bench hangs or produces EAGAIN within 30 s, skip to superpowers:systematic-debugging — do not push until diagnosed.

6. Real-workload smoke (Linux only, required before push when secrets are available)

Small RPCs dominate day-to-day testing, so regressions in the host→guest path for payloads >4 KiB have slipped through before (see fix/vsock-host-to-guest-packetize). These two specs exercise the full production path end-to-end:

# HN researcher (Claude agent + real HN API via curl+jq, writes output.md)
ANTHROPIC_API_KEY=… \
VOID_BOX_KERNEL=$PWD/target/vmlinux-slim-x86_64 \
VOID_BOX_INITRAMFS=$PWD/target/void-box-claude.cpio.gz \
timeout 300 ./target/release/voidbox run \
  --file examples/hackernews/hackernews_agent.yaml \
  > target/tmp/verify_hn.log 2>&1

# OpenClaw Telegram gateway (verify + configure + smoke_message posting to Telegram)
ANTHROPIC_API_KEY=… TELEGRAM_BOT_TOKEN=… TELEGRAM_CHAT_ID=… \
VOID_BOX_KERNEL=$PWD/target/vmlinux-slim-x86_64 \
VOID_BOX_INITRAMFS=$PWD/target/void-box-claude.cpio.gz \
timeout 180 ./target/release/voidbox run \
  --file examples/openclaw/openclaw_telegram.yaml \
  > target/tmp/verify_openclaw.log 2>&1

Pass criteria:

  • HN — log contains at least one tool: Bash invocation and one tool: Write targeting /workspace/output.md (agent completed the research round-trip).
  • OpenClaw — log contains step 3/4: "smoke_message" ok (the "OpenClaw prebuilt gateway started" Telegram message was posted).
  • Neither log should contain control_channel: deadline reached or Resource temporarily unavailable past the first handshake retry.
  • Production initramfs must be present (scripts/build_claude_rootfs.sh); if missing, mark this step as skipped with the reason.
  • Secrets must come from the user's shell env (e.g. via ! export … or a ~/.anthropic-key-style file) — never paste them inline.

Read the full file on GitHub · 128 lines

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. 2mo ago First seen · 128 lines · 57 tokens per session scan A 1a9a437f8a0a

Subscribe to this mod's changes

verify is a skill published in the GitHub repository the-void-ia/void-box (89 stars, last pushed 4d ago), licensed Apache-2.0. It adds 57 tokens to every session and 1,513 once invoked, about $0.0002 per session on Opus 5.5. A static security scan graded it A with 1 finding (makes network calls). No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.

Related

verify compared with skills from other repositories

verify next to 6 skills from other repositories
ModTypeStarsLast pushLicenceScanTokensWorks with
verifythe-void-ia/void-boxSkill894d agoApache-2.0A57Claude Code
codex-pr-bodyopeninterpreter/openinterpreterSkill69k3d agoApache-2.0A17Codex
update-v8-versionopeninterpreter/openinterpreterSkill69k3d agoApache-2.0A86Codex
gh-find-prsHmbown/CodeWhaleSkill41k5d agoMITA27Claude Code, Codex
contributor-onboardingHmbown/CodeWhaleSkill41k5d agoMITA57Claude Code, Codex
codew-release-qa-sweepHmbown/CodeWhaleSkill41k5d agoMITA31Claude Code, Codex
gh-assign-issuesHmbown/CodeWhaleSkill41k5d agoMITA24Claude Code, Codex