SERVER

LeanKG

Rank #536Delisted

glama/FreePeak/LeanKG

No registry has listed this server since May 7, 2026. The historical record below is preserved.

LeanKG: Stop Burning Tokens. Start Coding Lean.

17 release tags
207 GitHub stars
by FreePeak (6 servers)View repository ↗
First listed
Apr 13, 2026
Last publish date
Jul 16, 2026
OVERVIEW

LeanKG is a Model Context Protocol (MCP) server published by FreePeak. It ranks #536 of 76,851 servers tracked on MCP Toplist, and its repository has 207 GitHub stars. LeanKG is listed on Glama, with 17 release tags tracked from its GitHub repository. It is no longer listed by any tracked registry (last seen May 7, 2026); its historical record is preserved here.

STANDING
#536of 76,851 tracked serversTop 1%

Ranks ahead of 76,315 of 76,851 servers on MCP Toplist.

Recent momentum
+30GitHub stars since Apr 27 (+17%)
REGISTRIES

Previously listed on 1 registry

GlamaDelisted · last seen May 7, 2026
ORGANIZATION

FreePeak

Organization
Servers in org
6
Versions across org
28
MORE FROM THIS PUBLISHER

Other servers by FreePeak

View all FreePeak servers →
VERSIONS

GitHub releases (17)

No registry surfaces explicit version metadata for this server. The list below shows release tags from the linked GitHub repository.

v0.16.5 · Apr 20, 2026v0.16.6 · Apr 24, 2026v0.16.7 · Apr 24, 2026v0.16.9 · May 4, 2026v0.17.0 · May 8, 2026v0.17.1 · Jun 4, 2026v0.17.2 · Jun 6, 2026v0.17.3 · Jun 12, 2026v0.17.4 · Jun 16, 2026v0.17.6 · Jun 29, 2026v0.17.7 · Jul 2, 2026v0.17.8 · Jul 8, 2026v0.17.5 · Jul 14, 2026v0.17.9 · Jul 14, 2026v0.18.0 · Jul 15, 2026v0.18.1 · Jul 16, 2026v0.18.2 · Jul 16, 2026Apr 20, 2026Jul 16, 2026
VersionPublished
v0.18.2Jul 16, 2026
v0.18.1Jul 16, 2026
v0.18.0Jul 15, 2026
v0.17.9Jul 14, 2026
v0.17.5Jul 14, 2026
v0.17.8Jul 8, 2026
v0.17.7Jul 2, 2026
v0.17.6Jun 29, 2026
v0.17.4Jun 16, 2026
v0.17.3Jun 12, 2026
v0.17.2Jun 6, 2026
v0.17.1Jun 4, 2026
v0.17.0May 8, 2026
v0.16.9May 4, 2026
v0.16.7Apr 24, 2026
v0.16.6Apr 24, 2026
v0.16.5Apr 20, 2026
FAQ

Frequently asked questions

Who maintains LeanKG?
LeanKG is maintained by FreePeak, which publishes 6 MCP servers (28 total versions) tracked on MCP Toplist.
Is LeanKG listed on the Official MCP Registry?
LeanKG is not on the Official MCP Registry. It is listed on Glama.
How many versions does LeanKG have?
No registry surfaces explicit version metadata for LeanKG; MCP Toplist tracks 17 release tags from its GitHub repository, most recently published on Jul 16, 2026.
Where can I find the source code for LeanKG?
The source code for LeanKG is hosted at github.com/FreePeak/LeanKG.
EXPLORE
LeanKG - MCP Server #536 | MCP Toplist