Agent skill

Spec Trace

by BrowserWorks in BrowserWorks/waterfox-android

Trace a claim about web spec behaviour through the algorithm call chain and produce a Bugzilla-ready markdown trace ending in a REACHED / NOT REACHED / INCONCLUSIVE verdict.

Custom licenceAuto-check passedResearch & Science

Install Spec Trace

skills CLI
$ npx skills add BrowserWorks/waterfox-android --skill spec-trace -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install BrowserWorks/waterfox-android spec-trace --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/BrowserWorks/waterfox-android.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.agents/skills/spec-trace .claude/skills/spec-trace && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
spec-trace
GitHub stars
376
Token cost
~2k tokens
SKILL.md length
1,132 words
Files
1
Skills in repo
10
Repo updated
First seen
Licence
Custom licence

At a glance

Trace a claim about web spec behaviour through the algorithm call chain and produce a Bugzilla-ready markdown trace ending in a REACHED / NOT REACHED / INCONCLUSIVE verdict.

  • Works in 4 steps: Resolve → Enumerate routes → Judge each route → …
  • A bug says the spec says X should happen and you need to check whether it does
  • SKILL.md covers Phase 0: Resolve, Phase 1: Enumerate routes, Phase 2: Judge each route and Phase 3: Render, plus 2 more sections
  • Reaches html.spec.whatwg.org

What it does

Spec Trace is an agent skill from BrowserWorks/waterfox-android. Trace a claim about web spec behaviour through the algorithm call chain and produce a Bugzilla-ready markdown trace ending in a REACHED / NOT REACHED / INCONCLUSIVE verdict. Use when a bug says "the spec says X should happen" and you need to check whether it does, when asked where in the spec some event gets fired or some state gets set, or when a reporter's expected-results section needs a spec citation it did not provide.

Its SKILL.md is about 2k tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.

It sits in Research & Science, covering Citation management. It works with Android.

When your agent uses it

  • A bug says the spec says X should happen and you need to check whether it does
  • Asked where in the spec some event gets fired
  • Some state gets set
  • A reporters expected-results section needs a spec citation it did not provide

Example prompts

  • “the spec says X should happen”
  • “/spec-trace”

Requirements

  • Pre-approved tools (allowed-tools): Bash(webspec-index:*), Bash(searchfox-cli:*), Read

Workflow steps

4 steps, taken from the step headings in SKILL.md.

  1. Resolve
  2. Enumerate routes
  3. Judge each route
  4. Render

What it can do on your machine

Read from SKILL.md and the folder at commit 500d48c. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves these tools, so the agent can use them without asking each time:

    • Bash(webspec-index:*)
    • Bash(searchfox-cli:*)
    • Read

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    No scripts in the folder and no shell commands in SKILL.md (its code samples are bash and markdown).

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    Hosts in commands or code, which the agent is likely to contact:

    • html.spec.whatwg.org

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Spec Trace loads about 2k tokens when it runs. Until then it costs about 110 tokens; SKILL.md has 1,132 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~110
When it runs · the whole SKILL.md, loaded when a task matches
~2k

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

Its licence (Custom licence) doesn't allow us to republish the file, so here is its outline and opening line. It has 1,132 words (~2,024 tokens).

name
spec-trace
allowed-tools
Bash(webspec-index:*), Bash(searchfox-cli:*), Read
argument-hint
[--gecko] <question in prose>

Read the full SKILL.md on GitHub

Files

Just SKILL.md in .agents/skills/spec-trace of BrowserWorks/waterfox-android.

Open the folder on GitHubat commit 500d48c

Compare with similar skills

Spec Trace next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Spec Trace compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Spec Trace this skillBrowserWorks/waterfox-android376—~2kAutomated safety check: PassCustom licence
Content Research Writerweapp-tailwindcss/weapp-tailwindcss1.9k25 repos~3.5kAutomated safety check: PassMIT
NetworkxzLanqing/codex-claude-academic-skills4.6k16 repos~3.2kAutomated safety check: PassBSD-3-Clause
Citation Verification GuideGalaxy-Dawn/claude-scholar5.7k3 repos~1.9kAutomated safety check: PassMIT
Systematic Review ScreenerImbad0202/academic-research-skills51k—~8.4kAutomated safety check: PassCustom licence
Literature Reviewneflibata-feng/MyArxiv-Agent12621 repos~5.9kAutomated safety check: NotesMIT

Similar skills

  • Content Research Writer

    weapp-tailwindcss/weapp-tailwindcss

    Assists in writing high-quality content by conducting research, adding citations, improving hooks, iterating on outlines, and providing real-time feedback on each section.

    1.9k GitHub starsUsed in 25 repos~3.5k tokens
    Research & ScienceAuto-check passed
  • Networkx

    zLanqing/codex-claude-academic-skills

    Comprehensive toolkit for creating, analyzing, and visualizing complex networks and graphs in Python.

    4.6k GitHub starsUsed in 16 repos~3.2k tokens
    Research & ScienceAuto-check passed
  • Citation Verification Guide

    Galaxy-Dawn/claude-scholar

    Reference guidance for checking every citation in academic writing against canonical sources such as DOI, arXiv, CrossRef and Semantic Scholar, to catch fake or wrong references.

    5.7k GitHub starsUsed in 3 repos~1.9k tokens
    Research & ScienceAuto-check passed
  • Systematic Review Screener

    Imbad0202/academic-research-skills

    Screens records for systematic, scoping and rapid reviews against fixed eligibility rules, using two blinded AI reviewers and a third adjudicator, with traceable PRISMA counts.

    51k GitHub stars~8.4k tokensUpdated 4 days ago
    Research & ScienceAuto-check passed
  • Literature Review

    neflibata-feng/MyArxiv-Agent

    Conduct comprehensive, systematic literature reviews using multiple academic databases (PubMed, arXiv, bioRxiv, Semantic Scholar, etc.).

    126 GitHub starsUsed in 21 repos~5.9k tokens
    Research & ScienceAuto-check: notes
  • Openalex Database

    neflibata-feng/MyArxiv-Agent

    Query and analyze scholarly literature using the OpenAlex database.

    126 GitHub starsUsed in 13 repos~3k tokens
    Research & ScienceAuto-check passed

More from BrowserWorks/waterfox-android

All 10 skills in this repo
  • File Good First Bug

    BrowserWorks/waterfox-android

    A skill your agent uses when the user wants to file good-first-bugs in Bugzilla for Firefox.

    376 GitHub starsUsed in 1 repo~2k tokens
    Auto-check passed
  • Find Reviewer

    BrowserWorks/waterfox-android

    Find the right reviewer for a Firefox/Gecko change so the user does not have to.

    376 GitHub stars~898 tokensUpdated 15 days ago
    Auto-check passed
  • Fluent Migration

    BrowserWorks/waterfox-android

    A skill your agent uses when a patch or local changes rename, restructure, move, or replace Fluent (.ftl) strings - or migrate legacy .properties strings to Fluent - and you need a migration recipe…

    376 GitHub stars~4.2k tokensUpdated 15 days ago
    Auto-check passed
  • Media Patch Review

    BrowserWorks/waterfox-android

    Reviews dom/media code changes ONLY — not any other component.

    376 GitHub stars~762 tokensUpdated 15 days ago
    Auto-check passed
  • Perftest

    BrowserWorks/waterfox-android

    Run Firefox performance tests locally or in CI. An agent skill from BrowserWorks/waterfox-android.

    376 GitHub stars~2.3k tokensUpdated 15 days ago
    Auto-check passed
  • Documentation

    BrowserWorks/waterfox-android

    A skill your agent uses when working with Firefox documentation, including building documentation with ./mach doc, fixing Sphinx build errors or warnings, modifying existing documentation, or adding…

    376 GitHub starsUsed in 1 repo~1.6k tokens
    Auto-check passed

Works with

Questions about Spec Trace

What does Spec Trace do?

Trace a claim about web spec behaviour through the algorithm call chain and produce a Bugzilla-ready markdown trace ending in a REACHED / NOT REACHED / INCONCLUSIVE verdict. Spec Trace is an agent skill from BrowserWorks/waterfox-android. Trace a claim about web spec behaviour through the algorithm call chain and produce a Bugzilla-ready markdown trace ending in a REACHED / NOT REACHED / INCONCLUSIVE verdict.

When should I use Spec Trace?

Spec Trace fits situations like: A bug says the spec says X should happen and you need to check whether it does; asked where in the spec some event gets fired; some state gets set; A reporters expected-results section needs a spec citation it did not provide.

How do I install Spec Trace in Claude Code?

Run `npx skills add BrowserWorks/waterfox-android --skill spec-trace -a claude-code`. Or copy the skill folder (.agents/skills/spec-trace in BrowserWorks/waterfox-android) into .claude/skills/spec-trace in your project. Claude Code loads it when a task matches its description.

How do I install Spec Trace in Codex?

Run `npx skills add BrowserWorks/waterfox-android --skill spec-trace -a codex`. Or copy the skill folder (.agents/skills/spec-trace in BrowserWorks/waterfox-android) into .agents/skills/spec-trace in your project. Codex loads it when a task matches its description.

Can I use Spec Trace in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add BrowserWorks/waterfox-android --skill spec-trace -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/spec-trace, .gemini/skills/spec-trace, .github/skills/spec-trace and .opencode/skills/spec-trace in your project.

What does Spec Trace need to run?

SKILL.md names no scripts, command-line tools or credentials: Spec Trace is instructions for the agent only. Its frontmatter pre-approves these tools: Bash(webspec-index:*), Bash(searchfox-cli:*), Read.

Does Spec Trace access the network?

SKILL.md names 1 domain. In commands or code: html.spec.whatwg.org; the agent is likely to contact it when it follows the instructions. This is read from the text; nothing was executed.

Is Spec Trace safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Spec Trace use?

Spec Trace has a licence file (the repository's licence) that doesn't match a standard licence. Read it on GitHub before reusing the skill.

How many tokens does Spec Trace use?

About 2k tokens (SKILL.md is roughly 8.1k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Spec Trace?

Skills that share tags, products or a category with Spec Trace: Content Research Writer (weapp-tailwindcss/weapp-tailwindcss, 1.9k stars), Networkx (zLanqing/codex-claude-academic-skills, 4.6k stars), Citation Verification Guide (Galaxy-Dawn/claude-scholar, 5.7k stars) and Systematic Review Screener (Imbad0202/academic-research-skills, 51k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Spec Trace?

BrowserWorks (a GitHub organization) maintains it in BrowserWorks/waterfox-android, which has 376 GitHub stars. The repository holds 10 skills in this directory. The repository was last updated on September 22, 2026.

Source: BrowserWorks/waterfox-android on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.