Skip to main content

genlayerlabs/genvm-manager

SkillsMP a collecté 10 skills depuis genlayerlabs/genvm-manager. Ouvrez un skill pour examiner sa source et ses détails.

Dernière activité source enregistrée
Catalogue SkillsMP mis à jour
skills collectés
10
Étoiles GitHub
0
Forks GitHub
1

Affichage de 10 skills collectés sur 10.

métier
non classé
description

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.

Langue du texte source : anglais

mis à jour
métier
non classé
description

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…

Langue du texte source : anglais

mis à jour
métier
non classé
description

Always read before writing, adding, or modifying Rust tests — where to put and how to run them.

Langue du texte source : anglais

mis à jour
métier
non classé
description

How to write GenVM spec pages (docs/website/src/spec). Use when adding or editing spec sections — brevity, linking constants/errors/terms instead of inlining them, spec vs impl-spec split, and how to verify the build.

Langue du texte source : anglais

mis à jour
métier
non classé
description

Runs tests for the GenVM project. Use after making code changes to verify correctness.

Langue du texte source : anglais

mis à jour
métier
Administrateurs de réseaux et de systèmes informatiques
description

Read this BEFORE trying to fix a GenVM build that fails on macOS. GenVM is NOT built natively on macOS — building from source on Darwin breaks the deterministic runner-artifact invariant. Use a remote Linux nix-builder instead. Triggers on any…

Langue du texte source : anglais

mis à jour
métier
Développeurs de logiciels
description

Builds the GenVM project. Use after making code changes to compile Rust binaries.

Langue du texte source : anglais

mis à jour
métier
Développeurs de logiciels
description

Sets up the development environment for GenVM repository. Use when setting up the repo for the first time or when dependencies need to be refreshed.

Langue du texte source : anglais

mis à jour
métier
Développeurs de logiciels
description

How the GenVM multi-repo (manager umbrella + executor submodules) fits together and how to build, commit, run hooks, and push across all of them. Use when committing/pushing changes that touch a submodule, bumping gitlinks, building via nix, rebasing the…

Langue du texte source : anglais

mis à jour
métier
Analystes en assurance qualité des logiciels et testeurs
description

Reviews the current GenVM branch by fanning out three specialized review agents (spec, security, implementation). Use when asked to "review this branch", "review the PR", or do a full code review of a diff.

Langue du texte source : anglais

mis à jour
Affichage de 10 skills collectés sur 10.