Testing & Quality skills

Browse reusable Agent Skills, each with a clear purpose and practical guidance.

bug-filing

File a Bugzilla bug for Firefox/Gecko work, or draft a bug summary and description. Use when the user asks to file a bug, wants a bug summary/description for a change, or needs to report a defect/enhancement/task. Determines the product and component with `mach file-info`, drafts the summary and description, and opens a prefilled enter_bug.cgi form in the browser for the user to submit.

12.56k repo starsObserved in 5 repos
Testing & Quality

mozlint

You MUST use this skill when working with Firefox's linting infrastructure (mozlint), adding new linters, modifying existing linters, running linters, or dealing with linting issues.

12.56k repo starsObserved in 4 repos
Testing & Quality

profiler-analysis

Analyze Firefox performance profiles using the profiler-cli CLI tool. Trigger when given a profiler.firefox.com or share.firefox.dev link, a local profile path, or when the user wants to investigate an issue in a Firefox profile. Always use this skill instead of WebFetch for Firefox profiler URLs; WebFetch only retrieves the profiler UI's HTML shell and cannot access profile data, whereas profiler-cli downloads and parses the actual profile into a local daemon that supports structured queries over stacks, markers, threads, and samples.

12.56k repo starsObserved in 4 repos
Testing & Quality

G2 Unit Testing Skills

Guidelines and best practices for writing unit tests in the G2 visualization library, covering directory structure, testing patterns, and implementation guidelines. Use when need to generate test.

12.56k repo starsObserved in 1 repos
Testing & Quality

ironclaw-reborn-testing

Use when adding or reviewing tests for Reborn behavior — choosing a test tier, covering a bug fix, testing model/tool-choice behavior, touching tests/integration or tests/fixtures/llm_traces, or when a test needs Postgres, Docker, or a live LLM.

12.52k repo starsObserved in 1 repos
Testing & Quality

parallel-pr-review

Use when asked to "review the open PRs", review a batch or stack of pull requests, or run a recurring PR-review pass on a repo — especially with many PRs, stacked branches, conflicts, or security-sensitive changes. Covers grouping, fan-out to review subagents, verdict synthesis, and posting.

12.52k repo starsObserved in 1 repos
Testing & Quality

explain

Parse and interpret Z3 output for human consumption. Handles models, unsat cores, proofs, statistics, and error messages. Translates solver internals into plain-language explanations.

12.46k repo starsObserved in 2 repos
Testing & Quality

prove

Prove validity of logical statements by negation and satisfiability checking. If the negation is unsatisfiable, the original statement is valid. Otherwise a counterexample is returned.

12.46k repo starsObserved in 2 repos
Testing & Quality

simplify

Reduce formula complexity using Z3 tactic chains. Supports configurable tactic pipelines for boolean, arithmetic, and bitvector simplification.

12.46k repo starsObserved in 2 repos
Testing & Quality

static-analysis

Run Clang Static Analyzer (scan-build) on Z3 source and log structured findings to z3agent.db.

12.46k repo starsObserved in 2 repos
Testing & Quality