Modules pour le navigateur Firefox
  • Extensions
  • Thèmes
    • pour Firefox
    • Dictionnaires et paquetages linguistiques
    • Sites pour les autres navigateurs
    • Modules pour Android
Connexion
Aperçu de PR Token Diff for GitHub

PR Token Diff for GitHub par Jamison Lahman

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

0 (0 critiques)0 (0 critiques)
Télécharger Firefox et obtenir l’extension
Télécharger le fichier

Métadonnées de l’extension

À propos de cette extension
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
Noté 0 par 1 personne
Connectez-vous pour noter cette extension
Il n’y a aucune note pour l’instant

Le nombre d’étoiles est enregistré

5
0
4
0
3
0
2
0
1
0
Aucune critique pour l’instant
Autorisations et données

Autorisations nécessaires :

  • Accéder à vos données pour github.com

Autorisations facultatives :

  • Accéder à vos données pour github.com
  • Accéder à vos données pour patch-diff.githubusercontent.com

Collecte de données :

  • Le développeur indique que cette extension n’a pas besoin de collecter de données.
En savoir plus
Plus d’informations
Liens du module
  • Page d’accueil
  • E-mail d’assistance
  • Copier l’identifiant du module
Version
0.1.4
Taille
20,05 Ko
Dernière mise à jour
il y a 17 jours (15 juil. 2026)
Catégories associées
  • Développement web
Licence
GNU General Public License v3.0 uniquement
Historique des versions
  • Voir toutes les versions
Ajouter à la collection
Signaler ce module
Aller à la page d’accueil de Mozilla

Modules complémentaires

  • À propos
  • Blog des modules complémentaires Firefox
  • Atelier sur les extensions
  • Pôle développeur
  • Politiques à destination des développeurs
  • Blog de la communauté
  • Forum
  • Signaler un problème
  • Guide de revue

Télécharger

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

Dernières versions

  • Nightly
  • Beta

Firefox pour entreprise

  • Enterprise

Communauté

  • Connect
  • Contribute
  • Developer

Nous suivre

  • Instagram
  • YouTube
  • TikTok
  • Bluesky
  • Podcast
  • Confidentialité
  • Cookies
  • Mentions légales

Sauf mention contraire, le contenu de ce site est disponible sous licence Creative Commons Attribution Share-Alike v3.0 ou toute version supérieure.