Invariant-driven Firefox investigation for Codex. Use for suspicious code, possible security issues, suspected specification violations, or vague claims that need static validation, reachability analysis, proof tests, and a revision-pinned bug-style report.
ChunMinChang/dotfiles
SkillsMP has collected 21 skills from ChunMinChang/dotfiles. Open a skill to review its source and details.
- Latest recorded source activity
- SkillsMP catalog refreshed
- skills collected
- 21
- GitHub stars
- 0
- GitHub forks
- 0
Skills in this repository
Showing 21 of 21 collected skills.
Independent red-team review for Firefox root-cause analyses and proposed fixes. Use to critique an analysis, patch, Phabricator revision, commit, diff, or working tree with isolated Codex subagents and structured verdicts.
First-principles Firefox problem solving for Codex. Use for Bugzilla bugs or Firefox failures that need evidence-based diagnosis, revision-pinned source links, proof tests, invariant-driven solution design, independent evaluation, implementation, and durable…
Hypothesis-driven Firefox investigation: given a freeform suspicion that some code is buggy, unsafe, mis-behaving, or non-spec, blindspot validates the claim, finds real user-facing or security consequences (or proves there are none), and writes a bug-style…
RedPen — independent review of a proposed root-cause-analysis solution. Spawns an isolated reviewer with no shared memory; returns a structured review doc with verdict, alternatives, and concerns. Reusable from any RCA/bugfix skill (sherlock, fuzzbug-fix,…
First-principles problem solving for Firefox bugs. Evidence-based root cause analysis with permanent source links and proof tests, then invariant-driven solution design, independent evaluation, implementation, and documentation.
Prepare, reproduce, and audit standalone upstream security reports for third-party media libraries Firefox vendors, including FFmpeg/ffvpx, libvpx, libaom, dav1d, the Xiph libraries, libpng, libjpeg-turbo, libsoundtouch, libsrtp, libwebrtc, libyuv, libwebp,…
Prepare, reproduce, and audit standalone upstream security reports for the third-party media libraries Firefox vendors — FFmpeg/ffvpx, libvpx, libaom, dav1d, the Xiph libraries, libpng, libjpeg-turbo, libsoundtouch, libsrtp, libwebrtc, libyuv, libwebp,…
Firefox bug triage assistant — fetches a Bugzilla bug via MCP, classifies signals, scopes searches to a media/web-conferencing/graphics/android profile, drafts a response, optionally generates a test page, and stages a pending draft you can apply to BMO via…
Firefox Bugzilla triage workflow for Codex. Use for polling or processing Bugzilla triage scopes, drafting comments, applying canned responses, and tracking pending triage actions.
Reference for constructing revision-pinned source, spec, and bug permalinks (Searchfox, GitHub, GitLab, googlesource, Codeberg, Chromium, FFmpeg, Bugzilla, specs) for Firefox/Codex analysis and reports. Use when citing code, specs, or bugs and you need…
Create a Firefox patch from local changes. Use when the user wants Codex to inspect modified files, draft or polish a commit message, and prepare a patch without adding Codex co-authorship.
Fix Firefox fuzzing bugs. Use for fuzzing reports, crash reducers, sanitizer failures, testcase minimization, root-cause debugging, and proof-oriented Firefox fixes.
Push several Firefox branches or commits to Mozilla try. Use when comparing try results across branches, revisions, or configurations.
Update vendored Firefox media libraries. Use for libvpx, dav1d, aom, opus, cubeb, Rust media crates, cherry-picking upstream media fixes, and running mach vendor workflows.
Vendor a local Rust crate repository into Firefox for testing. Use when a user has local crate changes and wants them copied or converted into Firefox third_party/rust vendoring.
Analyze and fix a bug found by a fuzzer, fuzzbug, fuzz crash
Push a commit to try on multiple Firefox branches (beta, release, ESR). Use when testing if a patch builds/works on older Firefox versions for uplift.
Update third-party media libraries (libvpx, libdav1d, libaom, libopus, libcubeb, etc.) in the Firefox media/ directory. Use when updating codecs, decoders, or vendored media packages.
Vendor code from a local repository into Firefox's third_party/rust directory.
Create a commit or patch file for Firefox contributions