mymcp.directory
← All servers
MCP server

yvgude/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.

View source ↗
F48/100

A verified credential finding on this server is withheld from public view pending disclosure to the maintainer.

Findings
Evidence
Stars3,557
LanguageRust
LicenseApache-2.0
Last commit-1 days ago
Archivedno
Lockfilepresent
Files scanned900
Auth indicatorsfound
HTTP surfaceyes

Graded 10 Aug 2026 from public source only. No live endpoint was probed. Scores are produced by the published method; if you maintain this server and believe a finding is wrong, write to us and we will re-scan.