leankg 0.7.0

Lightweight Knowledge Graph for AI-Assisted Development
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

# LeanKG Benchmark

Compare token usage between LeanKG-assisted and direct grep/read approaches.

## Usage

```bash
# Run all benchmarks
cargo run --benchmark

# Run specific category
cargo run -- benchmark -- navigation
```

## Results

See `results/` directory for JSON and Markdown outputs.