LeanToken

local MCP server

Summary

Token-bounded repository context for coding agents over MCP.

Questions

LeanToken is a local MCP server distributed as the cargo package leantoken.

Similar MCP servers

NameStars

briefdio.github.ismailperim/briefd31
mdflow — Context OS for AI Coding Agentsio.github.yubinbin32-ops/mdflow11
ref-tools-mcpio.github.ref-tools/ref-tools-mcp1,176
ref-tools-mcptools.ref/ref-tools-mcp1,176
sqzio.github.ojuschugh1/sqz632
Hex Lineio.github.levnikolaevich/hex-line-mcp565
Entrolyio.github.juyterman1000/entroly470
gographio.github.ozgurcd/gograph226

Buy me a coffee