Componenti aggiuntivi per Firefox
  • Estensioni
  • Temi
    • per Firefox
    • Dizionari e language pack
    • Altri siti
    • Componenti aggiuntivi per Android
Accedi
Anteprima di PR Token Diff for GitHub

PR Token Diff for GitHub di Jamison Lahman

Shows the estimated token difference of a GitHub pull request next to GitHub's line-count diffstat.

0 (0 recensioni)0 (0 recensioni)
Scarica Firefox e installa l’estensione
Scarica file

Metadati estensione

Informazioni sull’estensione
Line counts don't tell you how much LLM context a pull request consumes. This extension adds an estimated token diff wherever GitHub shows its line-count diffstat.

━ What you get
• A header badge on every PR: +12,345 −6,789 tokens, right beside GitHub's own +/− line counts
• Per-file token badges in the Files changed view
• Hover any badge for the exact added/removed estimate

━ How it works
The extension fetches the PR's .diff through your existing GitHub session — no API token, no OAuth, works on private repos you can already see. The unified diff is parsed locally (renames, binaries, and mode changes handled) and token counts are estimated per file, then cached with ETag revalidation so repeat visits are instant.

Counts are a fast heuristic estimate (identifier sub-word splitting blended with a chars-per-token ratio), not an exact BPE tokenization — accurate enough to judge whether a PR fits in a model's context window.

━ Privacy
• No data collection, no analytics, no external services
• Talks only to github.com / patch-diff.githubusercontent.com
• Zero runtime dependencies

Source code: https://github.com/jmelahman/github-token-diff-extension
Voto 0 da 0 revisori
Effettua l’accesso per dare un voto a questa estensione
Non ci sono ancora valutazioni

Valutazione in stelle salvata

5
0
4
0
3
0
2
0
1
0
Ancora nessuna recensione
Permessi e dati

Permessi obbligatori:

  • Accedere ai dati utente di github.com

Permessi facoltativi:

  • Accedere ai dati utente di github.com
  • Accedere ai dati utente di patch-diff.githubusercontent.com

Raccolta dati:

  • Lo sviluppatore dichiara che questa estensione non richiede la raccolta di dati.
Ulteriori informazioni
Ulteriori informazioni
Link componente aggiuntivo
  • Pagina principale
  • Email per il supporto
  • Copia ID del componente aggiuntivo
Versione
0.1.4
Dimensione
20,05 kB
Ultimo aggiornamento
8 giorni fa (15 lug 2026)
Categorie correlate
  • Sviluppo web
Licenza
Solo GNU General Public License v3.0
Cronologia versioni
  • Visualizza tutte le versioni
Aggiungi alla raccolta
Segnala questo componente aggiuntivo
Vai alla pagina principale del sito Mozilla

Componenti aggiuntivi

  • Informazioni
  • Blog sui componenti aggiuntivi per Firefox
  • Laboratorio estensioni
  • Centro di sviluppo
  • Criteri per sviluppatori
  • Blog della comunità
  • Forum
  • Segnala malfunzionamento
  • Guida per le recensioni

Download

  • Download Firefox
  • Windows
  • macOS
  • iOS
  • Android
  • Linux
  • All

Versioni di sviluppo

  • Nightly
  • Beta

Firefox per le aziende

  • Enterprise

Comunità

  • Connect
  • Contribute
  • Developer

Segui

  • Instagram
  • YouTube
  • TikTok
  • Bluesky
  • Podcast
  • Informativa sulla privacy
  • Cookie
  • Note legali

Eccetto dove diversamente indicato, i contenuti su questo sito sono distribuiti con licenza Creative Commons Attribuzione Condividi allo stesso modo 3.0 o versioni successive.