メニュー
デフォルトでは、最初にソースを確認する Prompt が選択されています。直接コマンドに切り替えるか、ローカルコピーをダウンロードすることもできます。
インストールを決める前に、SKILL.md と SkillsMP に表示されている付属ファイルをお読みください。
SOC 職業分類に基づく
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
直接コマンドでは確認用 Prompt が省略されます。実行前にソースを確認してください。
npx skills add https://github.com/genlayerlabs/genvm-manager --skill buildコマンドは1行のまま表示されます。コピー前に横へスクロールして全体を確認してください。
ローカルで確認しますか？SkillsMP が現在取得できるファイルをダウンロードできます。
SKILL.md を表示中
Hunts for determinism violations and internal errors in a GenVM executor by writing throwaway probe contracts and running them across leader/validator/sync. Use when asked to fuzz the VM, look for nondeterminism, or turn a PR into a failing test.
GenVM commit message conventions. Use when writing a commit message, squashing/merging a PR, or amending history. Covers the `type(scope): summary <emoji>` format, the five types, the standard scope set, the gitmoji suffix, and mistakes to avoid (typos, vague "fix CI N").
Always read before writing, adding, or modifying Rust tests — where to put and how to run them.
| name | build |
| description | Builds the GenVM project. Use after making code changes to compile Rust binaries. |
Build procedure: docs/contributing/howto/building/build.md (debug build;
read it first). Related: building/runners.md, releasing/release-build.md,
extending/modify-runner.md under the same howto root.
Claude-specific:
bash .claude/skills/build/scripts/run-ninja.sh -C build all/bin instead of
raw ninja — it is silent on success and prints output only on failure, which
saves tokens./submodules (multi-repo commits, ?submodules=1), /test,
/macos (never build runners natively on macOS).