lean-ctx 3.7.2

Context Runtime for AI Agents with CCP. 63 MCP tools, 10 read modes, 60+ 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
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190

//! Shared visual shell for the public server-rendered pages (`/leaderboard`, `/w/<id>`).
//!
//! These pages are reverse-proxied under `leanctx.com`, so they must look like a native
//! page of the marketing site. The design tokens, fonts, grid background, logo wordmark and
//! footer mirror the Astro site's `website/src/styles/global.css` "Premium Dark" system
//! (dark by default, light via `prefers-color-scheme`). Kept as a `const` string so the
//! page renderers stay free of brace-escaping inside `format!`.

/// Marketing-site fonts (Inter / Space Grotesk / JetBrains Mono), loaded client-side so the
/// server needs no font assets. Goes in `<head>`.
pub(super) const FONT_LINKS: &str = r#"<link rel="preconnect" href="https://fonts.googleapis.com"/>
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin/>
<link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Inter:wght@400;500;600;700&family=JetBrains+Mono:wght@400;500;600&family=Space+Grotesk:wght@500;600;700&display=swap"/>"#;

/// The full design system, mirroring the Astro site's tokens 1:1. Goes inside `<style>`.
pub(super) const THEME_CSS: &str = r"
:root {
  color-scheme: dark;
  --bg:#050507; --surface:#0a0a0f; --surface-2:#111118; --surface-3:#18181f;
  --border:#1a1a24; --border-light:#252532;
  --text:#a8a8be; --text-bright:#eeeef5; --muted:#5e5e78;
  --accent:#34d399; --accent-bright:#6ee7b7; --accent-2:#818cf8;
  --grid-line:rgba(255,255,255,0.065); --glow:rgba(129,140,248,0.08);
  --font-sans:'Inter',-apple-system,BlinkMacSystemFont,'Segoe UI',Roboto,sans-serif;
  --font-display:'Space Grotesk','Inter',-apple-system,sans-serif;
  --font-mono:'JetBrains Mono','Fira Code','Cascadia Code',monospace;
}
@media (prefers-color-scheme: light) {
  :root {
    color-scheme: light;
    --bg:#f7f8fb; --surface:#ffffff; --surface-2:#f0f1f5; --surface-3:#e8e9ef;
    --border:#d5d8e0; --border-light:#c5cfde;
    --text:#3a3d4e; --text-bright:#111827; --muted:#5f6775;
    --accent:#047857; --accent-bright:#059669; --accent-2:#4f46e5;
    --grid-line:rgba(0,0,0,0.07); --glow:rgba(79,70,229,0.06);
  }
}
* { box-sizing:border-box; }
html { -webkit-text-size-adjust:100%; }
body {
  margin:0; min-height:100vh; display:flex; flex-direction:column;
  color:var(--text);
  font-family:var(--font-sans); font-size:16px; line-height:1.6;
  -webkit-font-smoothing:antialiased; text-rendering:optimizeLegibility;
  /* Grid + top glow drawn as fixed background layers on the body itself (robust against
     stacking-context quirks that hide negative-z pseudo-elements). Mirrors the marketing
     site textured Premium-Dark canvas. */
  background-color:var(--bg);
  background-image:
    radial-gradient(ellipse 1100px 760px at 50% -160px, var(--glow), transparent 72%),
    linear-gradient(to right, var(--grid-line) 1px, transparent 1px),
    linear-gradient(to bottom, var(--grid-line) 1px, transparent 1px);
  background-size:100% 100%, 140px 140px, 140px 140px;
  background-repeat:no-repeat, repeat, repeat;
  background-attachment:fixed;
  background-position:center top;
}
::selection { background:var(--accent); color:var(--bg); }
a { color:inherit; }
main { flex:1 0 auto; }
.lc-container { width:100%; max-width:900px; margin-inline:auto; padding-inline:24px; }

/* Header */
.lc-header {
  position:sticky; top:0; z-index:10;
  background:color-mix(in srgb, var(--bg) 82%, transparent);
  backdrop-filter:saturate(160%) blur(12px);
  border-bottom:1px solid var(--border);
}
.lc-header-inner { display:flex; align-items:center; justify-content:space-between; height:64px; }
.lc-logo { display:inline-flex; align-items:center; gap:10px; text-decoration:none; }
.lc-logo-ascii { font-family:var(--font-mono); color:var(--muted); font-size:18px; font-weight:600; }
.lc-pipe { color:var(--accent); }
.lc-logo-text { font-family:var(--font-display); font-size:19px; font-weight:700; letter-spacing:-.02em; }
.lc-logo-lean { color:var(--text-bright); }
.lc-logo-ctx { color:var(--accent); }
.lc-actions { display:flex; align-items:center; gap:16px; }
.lc-ghost { color:var(--text); text-decoration:none; font-size:14px; font-weight:500; }
.lc-ghost:hover { color:var(--text-bright); }
.lc-cta {
  display:inline-flex; align-items:center; background:var(--accent); color:var(--bg);
  font-weight:600; font-size:14px; text-decoration:none; padding:9px 16px; border-radius:8px;
  transition:background .15s ease;
}
.lc-cta:hover { background:var(--accent-bright); }

/* Hero */
.lc-hero { padding:72px 0 8px; }
.lc-label {
  font-family:var(--font-mono); font-size:12px; font-weight:600;
  letter-spacing:.14em; text-transform:uppercase; color:var(--accent);
}
.lc-hero h1 {
  font-family:var(--font-display); font-weight:600; margin:14px 0 0;
  font-size:clamp(2rem, 1.4rem + 2.6vw, 3.25rem); line-height:1.08;
  letter-spacing:-.035em; color:var(--text-bright);
}
.lc-hero p { font-size:clamp(1rem, .95rem + .2vw, 1.15rem); color:var(--text); margin:16px 0 0; max-width:48ch; }

/* Leaderboard */
.lc-board { list-style:none; padding:0; margin:36px 0 0; display:flex; flex-direction:column; gap:10px; }
.lc-row {
  display:grid; grid-template-columns:54px 1fr auto; align-items:center; gap:16px;
  padding:16px 18px; text-decoration:none; border:1px solid var(--border);
  border-radius:12px; background:var(--surface);
  transition:border-color .15s ease, background .15s ease, transform .15s ease;
}
.lc-row:hover { border-color:var(--border-light); background:var(--surface-2); transform:translateY(-1px); }
.lc-rank { font-family:var(--font-display); font-weight:700; font-size:18px; color:var(--muted); text-align:center; }
.lc-row.lc-rank-1 {
  border-color:color-mix(in srgb, var(--accent) 42%, var(--border));
  box-shadow:0 0 0 1px color-mix(in srgb, var(--accent) 22%, transparent),
             0 14px 44px color-mix(in srgb, var(--accent) 9%, transparent);
}
.lc-row.lc-rank-1 .lc-rank { color:var(--accent); }
.lc-row.lc-rank-2 .lc-rank, .lc-row.lc-rank-3 .lc-rank { color:var(--text-bright); }
.lc-id { display:flex; flex-direction:column; gap:3px; min-width:0; }
.lc-name { font-weight:600; color:var(--text-bright); font-size:16px; white-space:nowrap; overflow:hidden; text-overflow:ellipsis; }
.lc-period { font-family:var(--font-mono); font-size:11px; letter-spacing:.06em; text-transform:uppercase; color:var(--muted); }
.lc-stats { display:flex; flex-direction:column; align-items:flex-end; gap:3px; white-space:nowrap; }
.lc-num { font-family:var(--font-mono); font-weight:600; font-size:16px; color:var(--accent); font-variant-numeric:tabular-nums; }
.lc-usd { font-size:12.5px; color:var(--muted); font-variant-numeric:tabular-nums; }
.lc-empty { border:1px dashed var(--border-light); border-radius:12px; padding:30px 24px; text-align:center; color:var(--text); background:var(--surface); }
code { font-family:var(--font-mono); font-size:.85em; color:var(--accent-bright); background:var(--surface-3); padding:2px 7px; border-radius:6px; }

/* Bottom CTA */
.lc-cta-section { margin:44px 0 8px; padding:34px 28px; text-align:center; border:1px solid var(--border); border-radius:16px; background:var(--surface); }
.lc-cta-section h2 { font-family:var(--font-display); font-weight:600; font-size:1.5rem; color:var(--text-bright); margin:0 0 8px; letter-spacing:-.02em; }
.lc-cta-section p { color:var(--text); margin:0 0 20px; }

/* Permalink card */
.lc-card-wrap { padding:56px 0 16px; text-align:center; }
.lc-card-wrap svg { width:100%; max-width:760px; height:auto; border-radius:16px; box-shadow:0 24px 80px rgba(0,0,0,.45); border:1px solid var(--border); }

/* Footer */
.lc-footer { flex-shrink:0; border-top:1px solid var(--border); margin-top:48px; padding:40px 0 32px; }
.lc-footer-tag { color:var(--muted); font-size:14px; margin:12px 0 0; max-width:40ch; }
.lc-footer-social { display:flex; gap:20px; flex-wrap:wrap; margin:16px 0 26px; }
.lc-footer-social a { color:var(--text); text-decoration:none; font-size:14px; }
.lc-footer-social a:hover { color:var(--accent); }
.lc-footer-bottom { color:var(--muted); font-size:13px; border-top:1px solid var(--border); padding-top:20px; }
.lc-footer-bottom a { color:var(--muted); text-decoration:none; }
.lc-footer-bottom a:hover { color:var(--text-bright); }

@media (max-width:560px) {
  .lc-hero { padding-top:48px; }
  .lc-row { grid-template-columns:40px 1fr; gap:8px 12px; }
  .lc-stats { grid-column:2; align-items:flex-start; margin-top:8px; }
  .lc-ghost { display:none; }
}
";

/// Branded sticky header (logo wordmark + nav), matching the marketing site. `base` is the
/// public site origin (no trailing slash needed; links are built defensively).
pub(super) fn header(base: &str) -> String {
    let base = base.trim_end_matches('/');
    format!(
        r#"<header class="lc-header"><div class="lc-container lc-header-inner">
<a class="lc-logo" href="{base}/" aria-label="LeanCTX">
<span class="lc-logo-ascii">&lt;<span class="lc-pipe">|</span>&gt;</span>
<span class="lc-logo-text"><span class="lc-logo-lean">Lean</span><span class="lc-logo-ctx">CTX</span></span>
</a>
<nav class="lc-actions">
<a class="lc-ghost" href="{base}/docs/">Docs</a>
<a class="lc-cta" href="{base}/docs/getting-started/">Get started</a>
</nav>
</div></header>"#
    )
}

/// Branded footer (brand line + social + legal), matching the marketing site.
pub(super) fn footer(base: &str) -> String {
    let base = base.trim_end_matches('/');
    let year = chrono::Utc::now().format("%Y");
    format!(
        r#"<footer class="lc-footer"><div class="lc-container">
<a class="lc-logo" href="{base}/" aria-label="LeanCTX">
<span class="lc-logo-ascii">&lt;<span class="lc-pipe">|</span>&gt;</span>
<span class="lc-logo-text"><span class="lc-logo-lean">Lean</span><span class="lc-logo-ctx">CTX</span></span>
</a>
<p class="lc-footer-tag">The context engineering layer for AI coding tools — your AI sees only what matters.</p>
<div class="lc-footer-social">
<a href="https://github.com/yvgude/lean-ctx" target="_blank" rel="noopener">GitHub</a>
<a href="https://discord.gg/pTHkG9Hew9" target="_blank" rel="noopener">Discord</a>
<a href="https://crates.io/crates/lean-ctx" target="_blank" rel="noopener">crates.io</a>
</div>
<div class="lc-footer-bottom">&copy; {year} LeanCTX &middot; Apache-2.0 &middot; <a href="{base}/privacy/">Privacy</a> &middot; <a href="{base}/terms/">Terms</a></div>
</div></footer>"#
    )
}