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