{"repo":"FreePeak/LeanKG","free":true,"listed":false,"github":"https://github.com/FreePeak/LeanKG","clone":"git clone https://github.com/FreePeak/LeanKG.git","description":"LeanKG: Stop Burning Tokens. Start Coding Lean.","language":"Rust","stars":213,"topics":["concise-context","graph-database","knowledge-graph","lean-code","lean-context","mcp","mcp-server","saving-token","token","lean-token"],"license":"Apache-2.0","category":"mcp-servers","readme_excerpt":"LeanKG Enterprise-ready code knowledge graph for AI coding agents Multi-repo · env governance · incidents & services · req↔code · −65% tokens / −85% tool calls Live Demo · Docs · Docker Hub --- Installation Prerequisites Postgres + pgvector is required (only storage engine). From a LeanKG checkout: Default URL: postgresql://postgres:postgres@localhost:5433/leankg (override with LEANKG PG URL ). One-liners below do not start Postgres — they fail if :5433 is down. One-liners Skip cold embed: LEANKG SKIP EMBED=1 curl -fsSL …/docker-up.sh bash Docker (manual) MCP URL: http://localhost:9699/mcp From source --- Get Started Docker MCP: pass container paths as project= (e.g. /workspace ), never the host Mac path. Server-side setup pipeline (clone - index - embed) leankg setup with no flags keeps the legacy client-side behavior (register MCP + hooks). Pass pipeline flags to instead clone a list of repos and index each one server-side: Repo sources: - LEANKG REPOS — comma-separated host/namespace paths to clone. - LEANKG PROJECT DIRS — comma-separated dirs already mounted on disk (skips clone; falls back to indexing what exists when no git token is set). Env knobs: LEANKG GIT HOST (default github.com ), LEANKG GIT REF (default main ), LEANKG CLONE ROOT / CLONE ROOT , LEANKG ENV (default local ), git token via GITLAB TOKEN / GIT TOKEN / GITHUB TOKEN . Each cloned repo gets a minimal .leankg/leankg.yaml , then leankg index and leankg embed --wait run inside it. A setup.done marker pr","default_branch":null,"files":null,"tree":[],"storefront":"/r/FreePeak","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/FreePeak/LeanKG/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}