Memory Lean MCP Server: Install & Setup

Install Memory Lean in Claude Code

Claude Code

claude mcp add memory-lean -- npx -y memory-lean

mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)

{
  "mcpServers": {
    "memory-lean": {
      "command": "npx",
      "args": [
        "-y",
        "memory-lean"
      ]
    }
  }
}

Token-lean memory for AI agents: a knowledge graph searched cheaply. Drop-in for server-memory.

Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.

Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.

Run: claude mcp add memory-lean -- npx -y memory-lean

romainsantoli-web/Memory-os-ai

Adaptive memory for AI agents — FAISS search, chat extraction, cross-project linking

evan-moon/memex

Local-first second brain with semantic search. Markdown notes indexed by a local ML model.

mingxin-tech/mingxin-mcp-server

Measured AI-inference-storage benchmarks with citations, article search, KV-cache ROI estimation.

sandraschi/leanforge-mcp

Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management

ssskay/myfigurecollection-api

Read MyFigureCollection.net: search figures, JAN barcode lookup, shop prices, collections and clubs.

JoboAI/jobo-mcp

Search a live index of millions of open jobs from employer career sites and 100+ ATS platforms.