Skip to main content

facebookexperimental/hermit

SkillsMP a collecté 5 skills depuis facebookexperimental/hermit. Ouvrez un skill pour examiner sa source et ses détails.

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

Skills dans ce dépôt

1 catégories métier · 100% classifié

Affichage de 5 skills collectés sur 5.

métier
Développeurs de logiciels
description

Apply a disciplined read, plan, execute, and adversarially verify workflow. Use for complex research, architecture, implementation, or audit tasks.

Langue du texte source : anglais

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

Debug hermit/detcore runs (nondeterminism, hangs, syscall gaps, scheduling) using hermit's built-in logging and log-diff FIRST, before reading source. Use whenever a guest program behaves unexpectedly, --verify fails, or a run hangs under hermit.

Langue du texte source : anglais

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

Gate key Hermit changes on adversarial review and explicit human approval. Use only when the user explicitly requests human-review-first mode.

Langue du texte source : anglais

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

Land reviewed, CI-green Hermit changes before human review and mark them for follow-up. Use as the default autonomous landing discipline.

Langue du texte source : anglais

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

Create evidence-based Hermit progress reports from live measurements. Use when gathering, validating, or writing a project progress report.

Langue du texte source : anglais

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