Fair point. I used tiktoken (cl100k_base) for all measurements. The 2,034 token count is from the actual JSON tool listing returned by 5 MCP servers (filesystem, memory, sequential-thinking, sqlite, time). The benchmark script is in the repo under /benchmarks if anyone wants to verify.
