What tools does the lean-ctx MCP server provide?

lean-ctx exposes 13 tools: ctx_edit, ctx_find, ctx_grep, ctx_ls, ctx_read, ctx_session, ctx_shell, invalid_element, invalid_format, invalid_key, invalid_type, invalid_union, invalid_value. This list was read from the published package source; the server runs locally and has no endpoint to query.

Does lean-ctx require an API key?

Not known. lean-ctx has not been successfully queried, so its authentication requirements are unverified.

Connection check local install

lean-ctx

Control what your AI can see. LeanCTX (Lean Context) is the context intelligence layer for AI agents — one local Rust binary that decides what they read, remembers what they learn, guards what they touch, and proves what they save. 60–90% fewer tokens as the receipt. 76 MCP tools, 30+ agents, local-first.

Memory & knowledge

Tools 13

GitHub stars 3,714

Installs / wk 1.1k

Licence Apache-2.0

Transport stdio

Last checked never

Tools & capabilities

13 tools

Read from the published package source — this server runs locally, so there is no endpoint to query. Names are taken from the code, not observed at runtime, and descriptions are often absent.

ctx_edit from source

ctx_find from source

ctx_grep from source

ctx_ls from source

ctx_read from source

ctx_session from source

ctx_shell from source

invalid_element from source

invalid_format from source

invalid_key from source

invalid_type from source

invalid_union from source