Jervi Counts Your Dev Time ⏳
“I count ur dev time, so we see who codes more than me.” — Jervi
Jervi Counts Your Dev Time is a VS Code extension that automatically tracks your active coding time and syncs it to a global leaderboard.
No manual timers. No buttons. Just code — and let the numbers speak.
🚀 Features
Automatic Time Tracking
Tracks active development time while you work in VS Code.
Smart Background Sync
Your data is synced to the cloud automatically every 14 minutes, with manual sync available anytime.
Global Leaderboard
Compare your coding time with developers around the world — including Jervi.
Personal Dashboard
View daily totals, history, and ranking in a clean web dashboard.
Seamless Authentication
Uses the GitHub account already connected to your VS Code. No extra signup.
📊 Dashboard
View your stats and the global leaderboard here:
👉 http://jervi-counts-ur-dev-time.vercel.app/
The dashboard shows:
- Your total tracked time
- Daily activity
- Global ranking
- Other developers’ stats (public leaderboard)
🛠️ How It Works
- Install the extension from the VS Code Marketplace
- Sign in when prompted (via your existing GitHub authentication)
- Just Code!
The extension runs quietly in the background
- Visit the Dashboard to see if you code more than Jervi — or anyone else
No configuration required.
⚙️ Commands
Open the Command Palette:
- Windows / Linux:
Ctrl + Shift + P
- macOS:
Cmd + Shift + P
Available commands:
Jervi Counter: Sync to Supabase Now
Force an immediate cloud sync.
Jervi Counter: Show Current User
Display the currently authenticated GitHub user.
Jervi Counter: Show Today
See your tracked development time for today.
⏱️ What Counts as “Dev Time”?
The extension tracks active coding time, meaning:
- You are actively interacting with VS Code
- Editing files, navigating code, or working in the editor
- Idle time is automatically ignored
It’s designed to reflect real development effort — not just open editor time.
🔐 Privacy & Data
- Authentication is handled via GitHub OAuth
- Only minimal data is stored:
- User identifier
- Aggregated coding time
- No code, files, or keystrokes are ever uploaded
This project tracks time, not content.
🧪 Supported Editors
- ✅ Visual Studio Code
- ⚠️ Antigravity (requires manual marketplace configuration)
See the documentation site for Antigravity setup instructions.
🧠 Why This Exists
Most time trackers are:
- Manual
- Distracting
- Overkill
Jervi Counts Your Dev Time exists to answer one simple question:
Who actually codes more?
🧩 Roadmap (Ideas)
- Weekly / monthly summaries
- Team leaderboards
- Streaks & achievements
- More editor support
🧑💻 Author
Built by Jervi
Because someone had to keep count.
📄 License
MIT License