Verifying a Change
SkillDev toolsLets your agent run local checks to verify code changes before committing or opening a pull request.
Available today. Use it from your connected AI after setup.
No other account needed.
Connect ahel once, and every AI you use reads what you have installed.
Then ask your AI: use the Verifying a Change skill
About this capability
Always use this skill to verify a change locally before committing or opening a pull request in the Topcoat repository
What this skill tells your AI
The instructions your AI receives, as published by tokio-rs/topcoat in .agents/skills/check/SKILL.md and read by ahel’s review.
Keep this file in sync with CI workflows.
Run these by default:
cargo +nightly fmt --all # nightly is required, CI checks formatting with it
cargo topcoat fmt # formats Topcoat macros inside source files (ignore Leptos errors)
cargo clippy --workspace --all-targets --all-features --locked -- -D warnings
cargo test --workspace --all-features
RUSTDOCFLAGS="--cfg docsrs -Dwarnings" cargo +nightly doc --workspace --all-features --no-deps --locked
Only on user request:
# per-feature lint, catches feature combos that do not build (needs cargo-hack)
cargo hack clippy --workspace --each-feature --exclude-features stage-icons --no-dev-deps -- -D warnings
# unused dependencies, which CI fails on (needs cargo-udeps on nightly)
cargo +nightly udeps --workspace --all-targets --all-features --locked
Runtime browser bundle
Only when you touched crates/topcoat-runtime/browser. The crate serves a prebuilt dist/index.js via asset!, and CI fails if it drifts from source (git diff --exit-code -- dist/index.js). Rebuild it and stage the regenerated dist/index.js alongside your source change:
cd crates/topcoat-runtime/browser
yarn install --frozen-lockfile
yarn build
yarn test
New crates
A new crate must be referenced in the toplevel Cargo.toml as well as release-plz.toml.
Signals
- GitHub stars
- 5k
- Forks
- 175
- Last commit
- Sep 2026
ahel review
K1binfo
installs-packages
Automated review, not a security audit. Ruleset v1+k2.
Advanced
- Catalog kind
- skill
- Gateway key
check-tokio-rs- Source
- github.com/tokio-rs/topcoat