LeanKG

Level FSource

Index codebases into a local knowledge graph to provide accurate context for AI coding tools through a direct MCP server connection.

⭐ 1DatabaseRepo ↗Updated 2026-10-12

Installation

View source repo →

Related servers