FreePeak/LeanKG

LeanKG: Stop Burning Tokens. Start Coding Lean.

Rust

antigravityclaude-codeconcise-contextcursorgeminigraph-database

Cross-signal0.00 / 5.00/5 channels firing// rank #303

Open on GitHub

GitHub momentum

20.6

+3 stars 24h | +16 7d

Mentions

0 in 24h | 0 sources

Cross-signal

0.00

0/5 channels firing

Package adoption

Stars136+167d

Forks15—7d

Contributors1—30d

Stats

Cross-signal breakdown// per-channel components

score 0.00 / 5.0 · 0/5 firing

How is this scored?

5.0: strong signal across ≥4 of 5 channels
4.0: strong signal across ≥3 of 5 channels
3.0: strong signal across ≥2 of 5 channels
2.0+: active on at least 1 channel
<1.0: low or no cross-channel activity

Each channel contributes 0-1. Per-channel tiers: GitHub (breakout 1.0 / hot 0.7 / rising 0.4), HN (front-page 1.0 / ≥3 mentions 0.7 / 1-2 mentions 0.4), Bluesky (≥5 mentions 1.0 / 2-4 0.7 / 1 0.4), dev.to (≥3 articles 1.0 / 2 0.7 / 1 0.4), Reddit (corpus-normalized 48h velocity).

GitHub momentum

All mentions// evidence feed

0 shown / 0 total

// last scanreddit 1d*hn 36mbluesky 6mdevto 8hph 2hnpm 8h

No mentions on this channel in the last 7 days.

// quiet here doesn't mean the repo is dead — check the other tabs

Related repos

6 repos