Server record / io.github.morluto/leantoken
LeanToken
Token-bounded repository context for coding agents over MCP.
Runnable packages
cargoleantoken
0.1.28stdioTool inventory
No publishable tool enumeration has been recorded.
Recent observations
This server has Registry metadata but no public verification run yet.