tristanbuckmaster/fluid_lean — GitHub trend

◂ BACK TO LEADERBOARD

▲РЕПО НЕТ В ОКНЕ 1D. ПОКАЗАН FINDING ИЗ ОКНА 3D (3 days) — РАНГ #408.

FINDING #408 · UNIT ID 1360903375

tristanbuckmaster/fluid_lean

[ LEAN ][ GITHUB ↗ ]

SURPRISE SCORE

0.00

Score Breakdown

SURPRISE0.081

ENGAGEMENT0.42

FRESHNESS1.00

SCORE = SURPRISE × ENGAGEMENT^0.7 × FRESHNESS × VISIBILITY × CONFIDENCE

SURPRISE = WINDOW STARS / DAYS / (AUDIENCE + FLOOR)

11% OF STARS IN ARCHIVE

Growth Telemetry

VELOCITY /D

9.67

ACCEL

-7.00

RETENTION

40.6%

PEAK 2026-09-10 · FORK-RETENTION 0.0% · 29 STARS / WINDOW

Author Audience

AUDIENCE

FOLLOWERS

OWNER ★

254

Engagement Signals

FORKS

ISSUE AUTH

PR AUTH

UNIQUE STARGAZERS 29 / 29 (DIVERSITY 1.00)

Why This Is A Finding

tristanbuckmaster/fluid_lean собрал 29 звёзд за окно, тогда как у автора всего 54 подписчиков — эффективная аудитория ≈ 79. Это даёт surprise-индекс 0.081 (звёзды относительно охвата автора, а не в абсолюте). Удержание форков 0.0% и 0 внешних контрибьюторов отделяют реальный инструмент от разовой вспышки. Акселерация отрицательная — внимание остывает после пика.

Related Findings

RANKS ABOVE 95% OF 8833 FINDINGS

#3667leanprover-community/mathlib4[ LEAN ]0.00195 #3703leanprover/lean4[ LEAN ]0.00189 #5628leanprover-community/physlib[ LEAN ]0.000529 #6692teorth/analysis[ LEAN ]0.000231 #7675google-deepmind/formal-conjectures[ LEAN ]0.0000599

METRICS IN CONTEXT

MEDIAN ACROSS ALL 8833 FINDINGS · Δ vs MEDIAN · PERCENTILE = SHARE RANKED BELOW

METRICVALUEMEDIANΔ MEDPERCENTILE

SCORE0.040.00+0.04ABOVE 95%

VELOCITY9.675.67+4.00ABOVE 69%

RETENTION40.6%45.9%-5.3 PPABOVE 45%

FORKS20344-324ABOVE 10%

SURPRISE0.080.00+0.08ABOVE 92%