fixUse when you have lint errors, formatting issues, or before committing code to ensure it passes CI.Skills · Coding
flagsUse when you need to check feature flag states, compare channels, or debug why a feature behaves differently across rel…Skills · Coding
extract-errorsUse when adding new error messages to React, or seeing "unknown error code" warnings.Skills · Coding
flowUse when you need to run Flow type checking, or when seeing Flow type errors in React code.Skills · Coding
verifyUse when you want to validate changes before committing, or when you need to check all React contribution requirements.Skills · Coding
feature-flagsUse when feature flag tests fail, flags need updating, understanding @gate pragmas, debugging channel-specific test fai…Skills · Coding
tmuxRemote-control tmux sessions for interactive CLIs by sending keystrokes and scraping pane output.Skills · Productivity
githubInteract with GitHub using the `gh` CLI. Use `gh issue`, `gh pr`, `gh run`, and `gh api` for issues, PRs, CI runs, and …Skills · DevOps

isabelle-proofs

Description