# Benchmark Comparison: impl-new-tool

## With LeanKG
- Total Tokens: 32166
- Input: 31789
- Cached: 256

## Without LeanKG
- Total Tokens: 37341
- Input: 34824
- Cached: 2304

## Overhead
- Token Delta: -5175
