Skip to content
Signals
deepseek-ai/deepseek-harness adds ~49,687 stars this week — breakout in TypeScriptTrendNexus signalsGraphify-Labs/graphify adds ~15,384 stars this week — breakout in PythonTrendNexus signalsJuliusBrussee/caveman adds ~9,457 stars this week — breakout in GoTrendNexus signalsai-job-search-dev/ai-job-search adds ~7,427 stars this week — breakout in PythonTrendNexus signalsrtk-ai/rtk adds ~7,117 stars this week — breakout in RustTrendNexus signalsheadroomlabs-ai/headroom adds ~6,014 stars this week — breakout in PythonTrendNexus signalsrohitg00/ai-engineering-from-scratch adds ~4,818 stars this week — breakout in PythonTrendNexus signalsruvnet/ruflo adds ~4,122 stars this week — breakout in TypeScriptTrendNexus signalsRisk watch: meilisearch/meilisearch trends cooling with security score 86TrendNexus signalsRisk watch: thedaviddias/Front-End-Checklist trends cooling with security score 60TrendNexus signalsHealthiest in cohort: microsoft/ai-agents-for-beginners holds PVI 84 — sustainability leaderTrendNexus signals

leanprover/lean4

Establishedrank #79

Lean 4 programming language and theorem prover

9.7k+66 · 7d 1.1k 79est. Apache-2.0Leanpushed 8m ago
Compare View on GitHub

Composite

65

conf 65%

Momentum

52

conf 60%

Vitality (PVI)

70

conf 67%

Community

60

conf 60%

Security & maint.

89

conf 85%

Ecosystem influence

65

conf 60%

Opportunity

56

conf 60%

Breakout · 7d

40%

conf 71%

Executive summary

lean4 is currently classified as established with a composite score of 65/100. Momentum (52) and vitality (70) are aligned — growth is backed by sustained maintenance. Estimated 7-day gain of 66 stars against a 9.7k-star base. Risk is assessed as low; the interpretable model puts its probability of entering the top trend cohort within 7 days at 40%.

90-day trajectory

+296 · 30d
2026-08-012026-10-29

Score breakdown

Every input, weight and normalized value — nothing hidden. Inputs marked est. are estimated until the full ingestion pipeline lands.

Momentum

Star velocityest.25%51
Star accelerationest.15%48
Fork velocityest.10%32
Contributor growthest.10%70
Issue activity growthest.10%77
PR activity growthest.10%71
External mention velocityest.10%6
Release event impactest.5%87
Trending-rank persistenceest.5%47

Model tn-interpretable-1.0.0 · confidence 60% · coverage 100%

Project Vitality Index

Commit consistency20%100
Release cadenceest.15%69
PR responsivenessest.15%78
Issue responsivenessest.15%35
Contributor diversityest.10%70
Maintainer continuityest.10%79
Documentation qualityest.5%58
Dependency freshnessest.5%48
Security hygieneest.5%54

Model tn-interpretable-1.0.0 · confidence 67% · coverage 100%

Security & maintenance

Release recency25%100
License clarity20%92
Maintenance status25%100
Dependency stalenessest.15%68
Bus factorest.15%66

Model tn-interpretable-1.0.0 · confidence 85% · coverage 100%

Ecosystem influence

Dependent repositoriesest.30%76
Quality-weighted dependentsest.20%66
Documentation citationsest.15%60
Contributor overlapest.15%49
Registry adoptionest.10%38
Topic centralityest.10%89

Model tn-interpretable-1.0.0 · confidence 60% · coverage 92% · missing: packageRegistryAdoption