leankg-dev

LeanKG

Lightweight Knowledge Graph for AI-Assisted Development

LeanKG is a local-first knowledge graph that gives AI coding tools accurate codebase context. It indexes your code, builds dependency graphs, generates documentation, and exposes an MCP server so tools like Cursor, OpenCode, and Claude Code can query the knowledge graph directly. No cloud services, no external databases -- everything runs on your machine with minimal resources.

---

How LeanKG Helps

graph LR
    subgraph "Without LeanKG"
        A1[AI Tool] -->|Scans entire codebase| B1[10000+ tokens]
        B1 --> A1
    end

    subgraph "With LeanKG"
        A2[AI Tool] -->|13-42 tokens| C[LeanKG Graph]
        C -->|Targeted subgraph| A2
    end

Without LeanKG: AI scans entire codebase, wasting tokens on irrelevant context.

With LeanKG: AI queries the knowledge graph for targeted context only.

---

Installation

One-Line Install (Recommended)

Install the LeanKG binary, configure MCP, and add agent instructions for your AI coding tool:

curl -fsSL https://raw.githubusercontent.com/FreePeak/LeanKG/main/scripts/install.sh | bash -s -- <target>

This installs:

1. LeanKG binary to ~/.local/bin
2. MCP configuration for your AI tool
3. Agent instructions (LeanKG tool usage guidance) to the tool's config directory

Supported targets:

Target	AI Tool	MCP Config	Agent Instructions
opencode	OpenCode AI	~/.config/opencode/opencode.json	~/.config/opencode/AGENTS.md
cursor	Cursor AI	~/.cursor/mcp.json	~/.cursor/AGENTS.md
claude	Claude Code/Desktop	~/.config/claude/settings.json	~/.config/claude/CLAUDE.md
gemini	Gemini CLI / Google Antigravity	~/.config/gemini-cli/mcp.json / ~/.gemini/antigravity/mcp_config.json	~/.gemini/GEMINI.md
kilo	Kilo Code	~/.config/kilo/kilo.json	~/.config/kilo/AGENTS.md

Examples:

# Install for OpenCode
curl -fsSL https://raw.githubusercontent.com/FreePeak/LeanKG/main/scripts/install.sh | bash -s -- opencode

# Install for Cursor
curl -fsSL https://raw.githubusercontent.com/FreePeak/LeanKG/main/scripts/install.sh | bash -s -- cursor

# Install for Claude Code
curl -fsSL https://raw.githubusercontent.com/FreePeak/LeanKG/main/scripts/install.sh | bash -s -- claude

# Install for Gemini CLI
curl -fsSL https://raw.githubusercontent.com/FreePeak/LeanKG/main/scripts/install.sh | bash -s -- gemini

# Install for Kilo Code
curl -fsSL https://raw.githubusercontent.com/FreePeak/LeanKG/main/scripts/install.sh | bash -s -- kilo

# Install for Google Antigravity
curl -fsSL https://raw.githubusercontent.com/FreePeak/LeanKG/main/scripts/install.sh | bash -s -- antigravity

Install via Cargo

cargo install leankg
leankg --version

Build from Source

git clone https://github.com/your-org/LeanKG.git
cd LeanKG
cargo build --release

---

Try Without Install

Use GitHub Codespaces to try LeanKG in your browser - no installation required!

1. Go to github.com/FreePeak/LeanKG
2. Click "Code" → "Create Codespace"
3. LeanKG auto-installs when the codespace starts
4. In the terminal:

   leankg index ./src
   leankg web
   

5. Click "Open in Browser" on port 8080

Free tier: 60 hours/month (3 months), then 15 hours/month

---

Live Demo

Try LeanKG without installing - visit the live demo at https://leankg.onrender.com

---

Update

To update LeanKG to the latest version, run the same install command:

curl -fsSL https://raw.githubusercontent.com/FreePeak/LeanKG/main/scripts/install.sh | bash -s -- update

This will replace the existing binary with the latest release while preserving your configuration.

---

Quick Start

# 1. Initialize LeanKG in your project
leankg init

# 2. Index your codebase
leankg index ./src

# 3. Start the MCP server (for AI tools)
leankg serve

# 4. Start the Web UI (for visualization)
# Open http://localhost:8080 in your browser
leankg web

# 5. Compute impact radius for a file
leankg impact src/main.rs --depth 3

# 6. Check index status
leankg status

---

How It Works

C4 Model - Level 2: Component Diagram