lean-ctx 3.8.16

Context Runtime for AI Agents with CCP. 71 MCP tools, 10 read modes, 95+ compression patterns, cross-session memory (CCP), persistent AI knowledge with temporal facts + contradiction detection, multi-agent context sharing, LITM-aware positioning, AAAK compact format, adaptive compression with Thompson Sampling bandits. Supports 24+ AI tools. Reduces LLM token consumption by up to 99%.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134

/**
 * Dashboard formatting helpers (legacy dashboard parity).
 * @global
 */
(function () {
  const fmt = function (n) {
    if (typeof n !== 'number' || isNaN(n)) return String(n);
    var abs = Math.abs(n);
    // 3 decimals at B-scale keeps ~4 sig figs like the M rows; toFixed(1) only
    // moves every 100M tokens, making a growing total look frozen at "1.0B".
    if (abs >= 1e15) return (n / 1e15).toFixed(3) + 'P';
    if (abs >= 1e12) return (n / 1e12).toFixed(3) + 'T';
    if (abs >= 1e9) return (n / 1e9).toFixed(3) + 'B';
    if (abs >= 1e6) return (n / 1e6).toFixed(1) + 'M';
    if (abs >= 1e3) return (n / 1e3).toFixed(1) + 'k';
    return String(n);
  };
  const ff = function (n) {
    if (typeof n !== 'number' || isNaN(n)) return String(n);
    var abs = Math.abs(n);
    // 3 decimals at B-scale keeps ~4 sig figs like the M rows; toFixed(1) only
    // moves every 100M tokens, making a growing total look frozen at "1.0B".
    if (abs >= 1e15) return (n / 1e15).toFixed(3) + 'P';
    if (abs >= 1e12) return (n / 1e12).toFixed(3) + 'T';
    if (abs >= 1e9) return (n / 1e9).toFixed(3) + 'B';
    if (abs >= 1e6) return (n / 1e6).toFixed(1) + 'M';
    if (abs >= 1e4) return (n / 1e3).toFixed(1) + 'k';
    if (abs >= 1e3) return (n / 1e3).toFixed(1) + 'k';
    return n.toLocaleString('en-US');
  };
  const pc = function (a, b) {
    if (!Number.isFinite(a) || !Number.isFinite(b) || b <= 0) return 0;
    return Math.round((a / b) * 100);
  };
  const fu = function (a) {
    if (typeof a !== 'number' || !Number.isFinite(a)) return '$0.00';
    return '$' + a.toFixed(2);
  };
  // Energy estimate: same 0.4 J/token basis as the website /metrics page, so the user's
  // local "energy saved" reconciles with the community scoreboard. Wh = tokens ยท J / 3600.
  const J_PER_TOKEN = 0.4;
  const ewh = function (tokens) {
    var t = Number(tokens);
    return Number.isFinite(t) && t > 0 ? (t * J_PER_TOKEN) / 3600 : 0;
  };
  const fe = function (wh) {
    if (typeof wh !== 'number' || !Number.isFinite(wh) || wh <= 0) return '0 Wh';
    if (wh >= 1e6) return (wh / 1e6).toFixed(1) + ' MWh';
    if (wh >= 1e3) return (wh / 1e3).toFixed(1) + ' kWh';
    return Math.round(wh) + ' Wh';
  };
  // Attribute-safe HTML escape: the old textContent/innerHTML round-trip
  // left `"` and `'` untouched, so values interpolated into title="..."/
  // aria-label="..." could break out of the attribute (CodeQL #61-#65).
  const esc = function (s) {
    return String(s == null ? '' : s).replace(/[&<>"']/g, function (c) {
      return '&#' + c.charCodeAt(0) + ';';
    });
  };
  // Blended per-million input (i) / output (o) price plus the per-command token
  // baselines (v/c) used by the *estimated* cost model. The i/o rates default to
  // the server's `fallback-blended` tier but are de-hardcoded: applyServerPricing
  // overwrites them from /api/spend so the price table has a single source of
  // truth (server-side). v/c stay client-side heuristics.
  const CM = { i: 2.5, o: 10.0, v: 450, c: 120 };
  const applyServerPricing = function (p) {
    if (!p || typeof p !== 'object') return;
    if (typeof p.input_per_m === 'number' && p.input_per_m > 0) CM.i = p.input_per_m;
    if (typeof p.output_per_m === 'number' && p.output_per_m > 0) CM.o = p.output_per_m;
  };
  const isM = function (n) {
    return String(n).startsWith('ctx_');
  };
  const sb = function (n) {
    return isM(n)
      ? '<span class="tag tp">MCP</span>'
      : '<span class="tag tb">Hook</span>';
  };
  function gc(inp, out, n) {
    const iW = (inp / 1e6) * CM.i,
      iC = (out / 1e6) * CM.i;
    const saved = inp - out;
    const rate = inp > 0 ? saved / inp : 0;
    const eW = n * CM.v;
    const eC = rate > 0.01 ? n * CM.c : eW;
    const oW = (eW / 1e6) * CM.o,
      oC = (eC / 1e6) * CM.o;
    return { iW, iC, oW, oC, tW: iW + oW, tC: iC + oC, sv: iW + oW - iC - oC, os: eW - eC };
  }
  function ss(cmds) {
    const m = { c: 0, i: 0, o: 0, s: 0 },
      h = { c: 0, i: 0, o: 0, s: 0 };
    for (const [name, s] of cmds) {
      const t = isM(name) ? m : h;
      t.c += s.count;
      t.i += s.input_tokens;
      t.o += s.output_tokens;
      t.s += s.input_tokens - s.output_tokens;
    }
    return { m, h };
  }
  function fd(d, r) {
    return !r || r === 0 ? d : d.slice(-r);
  }
  function lv(id, val) {
    const el = document.getElementById(id);
    if (!el) return;
    const s = String(val);
    if (el.textContent === s) return;
    el.textContent = s;
    el.classList.add('flash');
    setTimeout(function () {
      el.classList.remove('flash');
    }, 200);
  }
  window.LctxFmt = {
    fmt,
    ff,
    pc,
    fu,
    fe,
    ewh,
    esc,
    gc,
    ss,
    fd,
    lv,
    isM,
    sb,
    CM,
    applyServerPricing,
    J_PER_TOKEN,
  };
})();