NEW

lastmile-ai/mcp-agentjust droppedNEW

dottxt-ai/outlinesjust droppedNEW

getomni-ai/zeroxjust droppedPIPETrendingRepoLIVE · 30 mention sourcesNEW

lastmile-ai/mcp-agentjust droppedNEW

dottxt-ai/outlinesjust droppedNEW

getomni-ai/zeroxjust droppedPIPETrendingRepoLIVE · 30 mention sources

logical-intelligence/erdos-unit-distance — stars, momentum & trend analysis · TrendingRepo

logical-intelligence/erdos-unit-distancepublicLeangithub.com/logical-intelligence/erdos-unit-distance

erdos-unit-distance

Q: Who maintains erdos-unit-distance?

Maintained by logical-intelligence (the owner) on GitHub.

Q: How do I install erdos-unit-distance?

Clone the repo: git clone https://github.com/logical-intelligence/erdos-unit-distance.git — then follow the README in the cloned directory.

LEANDEVTOOLSSTABLE VELOCITYTRENDING #602

Comments0Compare Set alert Export RSS

// OWNER · logical-intelligence · REPO SNAPSHOT

github.com/logical-intelligence

logical-intelligence

STARS9+9 · 7d

FORKS1+0 · 7d

CONTRIBUTORS0maintainer graph thin

OPEN ISSUES · PRS0· 0

LICENSE—no license file

LANGUAGELean

FOUNDED—

LOCATION—

MEMBERS—

PUBLIC REPOS—

TOTAL STARS—

FOCUS—

FUNDING—

//STAR HISTORY · 12M

+9 all-time-window

Stars · cumulative9 · today

//WHY IT'S TRENDING· narrative synthesis · medium confidence

logical-intelligence/erdos-unit-distance is sitting at #602 on the trending leaderboard with a pulse of 23/100 with no cross-source channels firing yet — GitHub-stars-only signal so far.

The 7-day star delta is +9 (+—) against a base of 9, a meaningful uptick on its own base. What's actually moving is the Lean devtools space.

Watch-outs: no tagged release on record (treat as pre-stable).

↻ refreshed 1d ago· next sync in 43m· sourced from 0 channels · 0 mentions / 24h

// RELATED REPOS · CROSS-SOURCE OVERLAP

5 detected · 30d window

▌ FAQ · answers from the data spine

Who maintains erdos-unit-distance?

Maintained by logical-intelligence (the owner) on GitHub.

What language is erdos-unit-distance written in?

Primarily Lean.

When was erdos-unit-distance created? When was the last update?

Created May 28, 2026 · last commit May 28, 2026.

How do I install erdos-unit-distance?

Clone the repo:

git clone https://github.com/logical-intelligence/erdos-unit-distance.git

Then follow the README in the cloned directory.

Is erdos-unit-distance actively maintained?

stalled — no commits for an extended period

//COMMENTS · 0

live thread · operators only

Be the first to comment.

Created2026-05-28

Updated1d ago

Last commit1d ago