LeanToken

io.github.morlutov0.1.28Updated Sep 24, 2026

Token-bounded repository context for coding agents over MCP.

VerifiedSTDIODesktop onlyDeveloper ToolsKnowledge & Memory

Installation

In SourceWeft

  1. Open LeanToken in the dashboard and add it to a workspace.
  2. Enable the server for the chats that should use its tools.

Desktop only via STDIO. STDIO servers start a local process, so they need the SourceWeft desktop host.

Other MCP clients

Follow the launch instructions in the repository.

Tools

0
Tool metadata has not been indexed yet.

Version history

1
  1. v0.1.28LatestSep 16, 2026