Home › Development › LeanToken

LeanToken

Token-bounded repository context for coding agents over MCP.

Rust

★ 23 stars Last pushed 2026-09-21 License: Apache-2.0

View repository →

Connect

Review any command before running it. Package names and URLs come from the server's own registry entry.

Package: cargo leantoken

This server takes extra arguments — see its repository.

Codebase knowledge graph for AI agents — 162 languages, sub-ms queries, 99% fewer tokens.

Connect and unify data across various platforms and databases with [MindsDB as a single MCP server](https://docs.mindsdb.com/mcp/overview).

A powerful toolkit for coding, providing semantic retrieval and editing capabilities.

Pack local or remote codebases into AI-friendly files that LLMs and coding agents can read or search

AI-powered task management system for AI-driven development. Features PRD parsing, task expansion, multi-provider support (Claude, OpenAI,…

Run Python code in a secure sandbox via MCP tool calls

Data from the Official MCP Registry