Developer · Local MCP server
LeanToken
Token-bounded repository context for coding agents over MCP.
What the MCP Registry states
The entry as published to the official MCP Registry (read 2026-10-04), latest version.
- Registry name
io.github.morluto/leantoken- Version
- 0.1.28
- Status
- Active
- Category
- developer
- Transport
- stdio (local process)
- Package
- Cargo (crates.io)
- Published
- 2026-08-31
- Updated
- 2026-08-31
- Publisher
- morluto (GitHub) · 4 servers with pages here
- Repository
- github.com/morluto/leantoken
- Source
- Registry API entry
Packages
| Registry | Package | Version | Transport |
|---|---|---|---|
| Cargo (crates.io) | leantoken | 0.1.28 | stdio |
How to connect LeanToken
LeanToken runs locally from a Rust crate published to crates.io: leantoken version 0.1.28. It speaks MCP over stdio, so the client starts it as a program and talks to it through standard input and output. It needs the Rust toolchain; cargo install builds the program.
Derived from the registry entry, not tested here. What the server does, and on what terms, is set by its publisher; check its repository or website before giving it access to your accounts or files. How to add an MCP server to an assistant · Before you connect
More from morluto (GitHub)
| Server | Runs |
|---|---|
| FlameoxBounded local runtime evidence from explicit artifacts and typed direct targets. | Local · stdio |
| GitcontributeLocal-first GitHub contribution research workbench. | Local · stdio |
| REAReverse engineer anything from your terminal or agent with one CLI and MCP server. | Local · stdio |
More developer servers
| Server | Runs |
|---|---|
| lean-memoryEmbedded, local-first agent memory: one SQLite file per namespace, no server, no cloud. | Local · stdio |
| Leanforge MCPMCP server for AI-driven formal proof search in Lean 4. | Local · stdio |
| leanroute.devLeanroute MCP: route to 13 LLM providers, check pricing/usage/credit, manage keys from any agent. | Local · stdio |
| Leantime MCP (Unofficial)Unofficial MCP server for Leantime: 42 agent-first tools, backup/restore, dry-run validation. | Local · stdio |
| Learning Model Context ProtocolMCP server that can perform basic arithmetic operations and parse/evaluate arithmetic expressions. | Local · HTTP |
| leavetracker.ukLeave Tracker: the site's own MCP server — calculator, enquiry (enquiry = a human handoff, not a... | Remote · HTTP |
| Lectura Facil Lint Es12 reglas de lectura fácil para guías y formularios de trámite (RD 707/2026, UNE 153101) | Local · stdio |
| LedivVisual website builder synced with real code. Build, publish and maintain websites from any agent. | Remote · HTTP |