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 work with ai coding, code intelligence and codebase indexing and want it reachable from Claude, Cursor, VS Code, or another MCP client. The project is written in Rust.
VERIFIED ACTIVE
LAST COMMIT 2026-09-14 · ★ 23 · #191 OF 229 MAINTAINED CODING AGENT · VERIFIED 2026-09-18
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.
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.28 · 2026-08-31
Release Notes · Expose receipt links as native resources · Restore main branch CI lanes · Format tree and suppress cognitive_complexity on dispatch · Reject repository-scoped options on episode audit · Harden persisted…
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…
03 · Who maintains Lean Token
LeanToken is maintained by morluto. We track 5 MCP servers from morluto - 5 actively maintained, 744 combined GitHub stars, oldest repo from Apr 2026. Full record: all servers from morluto.
- Jacobian Executable mathematics and independent verification for AI agents. ★ 192
- Flameox Bounded local runtime evidence from explicit artifacts and typed direct targets. ★ 114
- REA Reverse engineer anything from your terminal or agent with one CLI and MCP server. ★ 412
- gitcontribute Local-first GitHub contribution research workbench ★ 3
04 · Facts
- repository
- github.com/morluto/leantoken
- category
- coding agent - ranked #191 of 229 actively-maintained coding agent servers as of 2026-09-18.
- release cadence
- 10+ releases in the last 90 days (latest 2026-08-31)
- registry
- io.github.morluto/leantoken (active, first published 2026-08-01 · 6 versions)
- packages
- cargo:leantoken
05 · Lean Token FAQ
Is Lean Token still maintained?
Yes - as of 2026-09-18, its last commit was 2026-09-14 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. ★ 29,556 · 2026-09-17
- Desktop Commander MCP server for terminal commands, file operations, and process management ★ 9,633 · 2026-09-17
- Ouroboros Pins an acceptance spec; the verify command and expected output never enter the success contract. ★ 6,016 · 2026-09-15
- Socraticode MCP server for enterprise local codebase indexing, semantic search, and code dependency graphs. ★ 3,312 · 2026-09-17
- Omnara Deploy durable AI agents with Omnara, an open-source managed-agent platform. ★ 2,858 · 2026-09-18
- Docs Search and read Empryo's documentation. Read-only, no auth, no local access. ★ 1,246 · 2026-09-17
Pairs well with
Servers that cover what Lean Token doesn't - only shown when the pairing reason fits the companion.
- Context7 → documentation companion documentation · ★ 62,152
- GitLab MCP → documentation companion documentation · ★ 1,984
- Xcode Build MCP → developer tools companion developer tools · ★ 6,397
- Sentry MCP → developer tools companion developer tools · ★ 855
- Server Filesystem → filesystem companion filesystem · ★ 39,038
- Pdf MCP → filesystem companion filesystem · ★ 135
More coding agent MCP servers · REA · Metricui · Ohm MCP · Sentinal MCP · Athena Protocol
More Rust MCP servers · Hashfile MCP · Oraclemcp · Munim Computer Use · Octobrain · Octocode · see all