Leaderboard System

What it does

When your agent uses it

• Databases work in your project

Example prompts

• “/leaderboard-system”

Workflow steps

11 steps, taken from the first numbered list in SKILL.md.

1. 1All-time leaderboards come from Redis ZSETs. Key pattern: {scope}:lb:xp. Never query MySQL for all-time rankings.
2. 2Time-filtered leaderboards come from MySQL. Query metrics table WHERE user_id > 0 ORDER BY xp DESC, user_id ASC. Secondary sort by user_id…
3. 3Per-user rows are written by MetricsService. buildTimeSeriesRows() produces two rows per timescale × location: aggregate (user_id=0) and…
4. 4ZSET scores are maintained by RedisMetricsCollector. ZINCRBY for create/update, negative ZINCRBY for delete. Runs inside the Redis…
5. 5Zero-XP pruning on delete. After decrementing a ZSET score, ZREMRANGEBYSCORE {scope}:lb:xp -inf 0 removes members with score ≤ 0. Without…
6. 6Daily queries MUST include bucket_date. For today/yesterday (timescale=1), the query includes WHERE bucket_date = ?. Without it, all daily…
7. 7Privacy is enforced in formatUserData(). Respects show_name, show_username, and team pivot…
8. 8Route uses auth:sanctum — not auth:api. Use actingAs($user) in tests (no guard argument).
9. 9rewardXpToAdmin() must update both MySQL (users.xp) and Redis ({g}:lb:xp ZSET + {u:ID}:stats hash).
10. 10Rank is 1-indexed in API response. ZREVRANK returns 0-indexed; getCurrentUserRank() adds 1.
11. 11RewardLittercoin uses cluster-compatible Redis keys. All Littercoin Redis operations use RedisKeys pattern with hash tags for cluster…

What it can do on your machine

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

• Tool permissions

  Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

  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 php).

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

• Network

  No URLs in SKILL.md.

  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

Leaderboard System loads about 2k tokens when it runs. Until then it costs about 44 tokens; SKILL.md has 750 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it

~44

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

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

The full file from OpenLitterMap/openlittermap-web at commit ac688aa, republished under its GPL-3.0 licence (© OpenLitterMap). 750 words, ~2,048 tokens.

name

leaderboard-system

description

LeaderboardController, Redis sorted sets for all-time XP rankings, per-user metrics rows for time-filtered rankings, rewardXpToAdmin, and leaderboard privacy.

$key = RedisKeys::xpRanking($scope);
$results = Redis::zRevRange($key, $start, $end, ['WITHSCORES' => true]);
$total = (int) Redis::zCard($key);
$rank = Redis::zRevRank($key, (string) $userId);

$query = DB::table('metrics')
    ->where('timescale', $timescale)
    ->where('location_type', $enumType->value)
    ->where('location_id', $locationId)
    ->where('user_id', '>', 0)
    ->where('year', $year)
    ->where('month', $month);

// REQUIRED for daily queries (timescale=1) — omitting returns all daily rows for the month
if (isset($params['bucket_date'])) {
    $query->where('bucket_date', $params['bucket_date']);
}

$query->where('xp', '>', 0)
    ->orderByDesc('xp')
    ->orderBy('user_id')  // deterministic tie-breaking
    ->offset($start)
    ->limit(100)
    ->select('user_id', 'xp')
    ->get();

RedisKeys::xpRanking(RedisKeys::global())        // {g}:lb:xp
RedisKeys::xpRanking(RedisKeys::country($id))    // {c:$id}:lb:xp
RedisKeys::xpRanking(RedisKeys::state($id))      // {s:$id}:lb:xp
RedisKeys::xpRanking(RedisKeys::city($id))       // {ci:$id}:lb:xp

© OpenLitterMap, GPL-3.0. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

Just SKILL.md in .ai/skills/leaderboard-system of OpenLitterMap/openlittermap-web.

Open the folder on GitHubat commit ac688aa