Skip to main content

facebookexperimental/hermit

SkillsMP 已收集 facebookexperimental/hermit 中的 5 个 Skill。打开任一 Skill 可查看来源和详情。

最近记录的来源活动
SkillsMP 收录数据更新
已收集 skills
5
GitHub 星标
1,405
GitHub Forks
50

这个仓库中的 skills

1 个职业分类 · 已分类 100%

已展示 5 / 5 个已收集 Skill。

职业分类
软件开发工程师
描述

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

原文语言:英语

更新
职业分类
软件开发工程师
描述

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.

原文语言:英语

更新
职业分类
软件开发工程师
描述

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

原文语言:英语

更新
职业分类
软件开发工程师
描述

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

原文语言:英语

更新
职业分类
软件开发工程师
描述

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

原文语言:英语

更新
已展示 5 / 5 个已收集 Skill。