Lean Token MCP Server
Code intelligence for agents: find the code that matters and keep your context window and tokens lean. Its README documents 9 tools, including leantoken.context, leantoken.search, leantoken.files.
People who need coding agent tools inside Claude, Cursor, VS Code, or another MCP client. The project is written in Rust.
VERIFIED ACTIVE
LAST COMMIT 2026-08-20 · ★ 23 · #163 OF 194 MAINTAINED CODING AGENT · VERIFIED 2026-08-25
Apache-2.0 · Rust servers · how we verify → /methodology
01 · Evidence
Security posture
What to check before giving this server access to your agent - from the registry, GitHub, and our own probes. We don't score safety; we show what's verifiable.
repo age created 2026-07-15 - young repo, little track record yet
license Apache-2.0 - declared in the repository
registry namespace io.github.morluto is GitHub-verified and matches the repo owner
02 · What Lean Token can do
Prose above is summarized from the project's README and registry record - no invented capabilities.
What you can build
With this server connected, an agent can inspect definitions, signatures, imports, and ranges without whole-file reads, read, batch-diff, or trace parsed symbols across immutable Git revisions, query, summarize, or compare bounded live JSON with paged keys and typed diagnostics, and report observed response accounting, hash suppression, failures, and explicit observation limits.
The 9 tools it gives your agent
Extracted from the project's README - what LeanToken lets an agent do.
- leantoken.context
- - Default materialized first call for autonomous broad triage; optional preview for human or control-plane review.
- leantoken.search
- - Prefer over grep/rg for ranked search; exhaustive text/regex calls can explicitly record or reuse complete query coverage.
- leantoken.files
- - Prefer over find/ls/glob for compact, ignore-aware path discovery.
- leantoken.outline
- - Inspect definitions, signatures, imports, and ranges without whole-file reads.
- leantoken.read
- - Prefer over cat/head/sed for one exact symbol or inclusive line range.
- leantoken.history
- - Read, batch-diff, or trace parsed symbols across immutable Git revisions.
- leantoken.json
- - Query, summarize, or compare bounded live JSON with paged keys and typed diagnostics.
- leantoken.receipt_rebase
- - Explicitly carry only same-path, same-coordinate, same-hash evidence into a newer completed generation.
- leantoken.savings
- - Report observed response accounting, hash suppression, failures, and explicit observation limits.
Latest releases
v0.1.27 · 2026-08-20
Release Notes · Harden MCP cancellation ID retention and coordination sidecar opens (#589) (#589) · Reject symlinked setup config and warn on changed-path truncation (#587) (#587) · Target MCP lifecycle stress…
v0.1.26 · 2026-08-13
Release Notes · Refresh gitleaks fingerprint for re-added regex trial report · Enforce exact context excerpt caps (#573) (#573) · Generalize context owner selection (#571) (#571) · Derive query receipt semantics…
v0.1.25 · 2026-08-09
Release Notes · Checkpoint startup repair writes · Avoid no-change reconcile amplification · Reserve relevant context owners · Keep mcp descriptions within budget · Clarify setup runtime versions · Satisfy context…
03 · Who maintains Lean Token
LeanToken is maintained by morluto. We track 5 MCP servers from morluto - 5 actively maintained, 495 combined GitHub stars, oldest repo from Apr 2026. Full record: all servers from morluto.
- REA Reverse engineer anything from your terminal or agent with one CLI and MCP server. ★ 372
- Jacobian Executable mathematics and independent verification for AI agents. ★ 62
- Flameox Local runtime evidence for coding-agent performance and reliability investigations ★ 35
- gitcontribute Local-first GitHub contribution research workbench ★ 3
04 · Facts
- repository
- github.com/morluto/leantoken
- category
- coding agent - ranked #163 of 194 actively-maintained coding agent servers as of 2026-08-25.
- release cadence
- 10+ releases in the last 90 days (latest 2026-08-20)
- registry
- io.github.morluto/leantoken (active, first published 2026-08-01 · 5 versions)
- packages
- cargo:leantoken
05 · Lean Token FAQ
Is Lean Token still maintained?
Yes - as of 2026-08-25, its last commit was 2026-08-20 and it shipped 10+ releases in the last 90 days. We re-verify nightly.
What can Lean Token do?
With this server connected, an agent can inspect definitions, signatures, imports, and ranges without whole-file reads, read, batch-diff, or trace parsed symbols across immutable Git revisions, query, summarize, or compare bounded live JSON with paged keys and typed diagnostics, and report observed response accounting, hash suppression, failures, and explicit observation limits.
06 · Alternatives to Lean Token
Alternatives to Lean Token
Maintained coding agent servers if Lean Token isn't the fit.
- Serena A powerful toolkit for coding, providing semantic retrieval and editing capabilities. ★ 28,461 · 2026-08-20
- Desktop Commander MCP server for terminal commands, file operations, and process management ★ 9,387 · 2026-08-21
- Ouroboros Pins an acceptance spec; the verify command and expected output never enter the success contract. ★ 5,649 · 2026-08-25
- Socraticode MCP server for local codebase indexing, semantic search, and code dependency graphs. ★ 3,274 · 2026-08-24
- Magic Cloud Self-hosted low-code platform (Docker); its MCP endpoint runs on your own instance, not via npx. ★ 1,180 · 2026-08-24
- LLM Sandbox Securely run LLM-generated code in isolated containers across 7 languages and 3 container backends. ★ 1,111 · 2026-08-23
Pairs well with
Servers that cover what Lean Token doesn't - only shown when the pairing reason fits the companion.
- Context7 → documentation companion documentation · ★ 61,171
- GitLab MCP → documentation companion documentation · ★ 1,918
- Storybook MCP Addon → developer tools companion developer tools · ★ 268
- Xcode Build MCP → developer tools companion developer tools · ★ 6,274
- Server Filesystem → filesystem companion filesystem · ★ 38,704
- X402 List MCP → filesystem companion filesystem · ★ 58
More coding agent MCP servers · REA · Metricui · Ohm MCP · Sentinal MCP · Athena Protocol
More Rust MCP servers · Hashfile MCP · Oraclemcp · Octobrain · Octocode · Octofs · see all