lean-ctx-eval

Produces a data-grounded token ledger for the lean-ctx MCP from your Claude Code session transcripts (~/.claude/projects/<encoded-cwd>/). Read-only; it never re-executes any recorded shell command.

Run it

1. Locate the bundled script (works whether or not CLAUDE_PLUGIN_ROOT is set):

SCRIPT="${CLAUDE_PLUGIN_ROOT:-}/scripts/lean_ctx_eval.py"
[ -f "$SCRIPT" ] || SCRIPT="$(find "$HOME/.claude/plugins" -path '*lean-ctx-eval/scripts/lean_ctx_eval.py' 2>/dev/null | head -1)"
echo "script: $SCRIPT"

2. Ensure the tokenizer venv (durable, one-time, in the user cache — the script still runs without it via a char/4 fallback, just ~10% noisier):