Skip to content
Signals
deepseek-ai/deepseek-harness adds ~61,998 stars this week — breakout in TypeScriptTrendNexus signalsmattpocock/skills adds ~33,582 stars this week — breakout in ShellTrendNexus signalseternity4719/HowToLiveBetter adds ~20,451 stars this week — breakout in HTMLTrendNexus signalsstorytold/pdfcraft adds ~17,990 stars this week — emerging in RustTrendNexus signalsgarrytan/gstack adds ~15,493 stars this week — breakout in TypeScriptTrendNexus signalsGraphify-Labs/graphify adds ~15,327 stars this week — breakout in PythonTrendNexus signalsodysseus-dev/odysseus adds ~12,706 stars this week — breakout in PythonTrendNexus signalsPanniantong/Agent-Reach adds ~12,150 stars this week — breakout in PythonTrendNexus signalsRisk watch: thedaviddias/Front-End-Checklist trends cooling with security score 88TrendNexus signalsRisk watch: Homebrew/homebrew-core trends cooling with security score 93TrendNexus signalsHealthiest in cohort: puppeteer/puppeteer holds PVI 83 — sustainability leaderTrendNexus signals

Z3Prover/z3

Decliningrank #203

The Z3 Theorem Prover

12.8k+14 · 7d 1.7k 123est. NOASSERTIONC++pushed 41m ago
Compare View on GitHub

Composite

59

conf 65%

Momentum

39

conf 60%

Vitality (PVI)

78

conf 67%

Community

57

conf 60%

Security & maint.

76

conf 85%

Ecosystem influence

57

conf 60%

Opportunity

56

conf 60%

Breakout · 7d

2%

conf 71%

Executive summary

z3 is currently classified as declining with a composite score of 59/100. Momentum (39) and vitality (78) are aligned — growth is backed by sustained maintenance. Estimated 7-day gain of 14 stars against a 12.8k-star base. Risk is assessed as low; the interpretable model puts its probability of entering the top trend cohort within 7 days at 2%.

90-day trajectory

+108 · 30d
2026-07-122026-10-09

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%33
Star accelerationest.15%28
Fork velocityest.10%11
Contributor growthest.10%83
Issue activity growthest.10%36
PR activity growthest.10%65
External mention velocityest.10%1
Release event impactest.5%64
Trending-rank persistenceest.5%74

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

Project Vitality Index

Commit consistency20%100
Release cadenceest.15%75
PR responsivenessest.15%80
Issue responsivenessest.15%69
Contributor diversityest.10%78
Maintainer continuityest.10%75
Documentation qualityest.5%62
Dependency freshnessest.5%82
Security hygieneest.5%40

Model tn-interpretable-1.0.0 · confidence 67% · coverage 92% · missing: licenseClarity

Security & maintenance

Release recency25%100
License clarity20%30
Maintenance status25%100
Dependency stalenessest.15%43
Bus factorest.15%88

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

Ecosystem influence

Dependent repositoriesest.30%80
Quality-weighted dependentsest.20%65
Documentation citationsest.15%50
Contributor overlapest.15%32
Registry adoptionest.10%56
Topic centralityest.10%16

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