# 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.
