lean-ctx 3.5.7

Context Runtime for AI Agents with CCP. 57 MCP tools, 10 read modes, 95+ compression patterns, cross-session memory (CCP), persistent AI knowledge with temporal facts + contradiction detection, multi-agent context sharing + diaries, 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

//! HTTP route handlers for the LeanCTX dashboard API.

mod agents;
mod context;
mod graph;
pub mod helpers;
mod knowledge;
mod memory;
mod stats;
mod system;
mod tools;

use std::sync::Arc;

fn match_component_path(path: &str) -> Option<String> {
    let content = match path {
        "/static/components/cockpit-nav.js" => super::COCKPIT_COMPONENT_NAV_JS,
        "/static/components/cockpit-context.js" => super::COCKPIT_COMPONENT_CONTEXT_JS,
        "/static/components/cockpit-overview.js" => super::COCKPIT_COMPONENT_OVERVIEW_JS,
        "/static/components/cockpit-live.js" => super::COCKPIT_COMPONENT_LIVE_JS,
        "/static/components/cockpit-knowledge.js" => super::COCKPIT_COMPONENT_KNOWLEDGE_JS,
        "/static/components/cockpit-agents.js" => super::COCKPIT_COMPONENT_AGENTS_JS,
        "/static/components/cockpit-memory.js" => super::COCKPIT_COMPONENT_MEMORY_JS,
        "/static/components/cockpit-search.js" => super::COCKPIT_COMPONENT_SEARCH_JS,
        "/static/components/cockpit-compression.js" => super::COCKPIT_COMPONENT_COMPRESSION_JS,
        "/static/components/cockpit-graph.js" => super::COCKPIT_COMPONENT_GRAPH_JS,
        "/static/components/cockpit-health.js" => super::COCKPIT_COMPONENT_HEALTH_JS,
        "/static/components/cockpit-remaining.js" => super::COCKPIT_COMPONENT_REMAINING_JS,
        _ => return None,
    };
    Some(content.to_string())
}

pub fn route_response(
    path: &str,
    query_str: &str,
    query_token: Option<&String>,
    token: Option<&Arc<String>>,
    method: &str,
    body: &str,
) -> (&'static str, &'static str, String) {
    if path == "/" || path == "/index.html" || path == "/cockpit" || path == "/cockpit/" {
        let mut html = super::COCKPIT_INDEX_HTML.to_string();
        if let Some(t) = token {
            let expected = t.as_str();
            let valid_query = query_token
                .as_ref()
                .is_some_and(|q| super::constant_time_eq(q.as_bytes(), expected.as_bytes()));
            if valid_query {
                let script = format!(
                    "<script>window.__LEAN_CTX_TOKEN__=\"{expected}\";try{{if(location.search.includes('token=')){{history.replaceState(null,'',location.pathname+location.hash);}}}}catch(e){{}}</script>"
                );
                html = html.replacen("<head>", &format!("<head>{script}"), 1);
            }
        }
        return ("200 OK", "text/html; charset=utf-8", html);
    }
    if path == "/legacy" || path == "/legacy/" {
        let mut html = super::DASHBOARD_HTML.to_string();
        if let Some(t) = token {
            let expected = t.as_str();
            let valid_query = query_token
                .as_ref()
                .is_some_and(|q| super::constant_time_eq(q.as_bytes(), expected.as_bytes()));
            if valid_query {
                let script = format!(
                    "<script>window.__LEAN_CTX_TOKEN__=\"{expected}\";try{{if(location.search.includes('token=')){{history.replaceState(null,'',location.pathname);}}}}catch(e){{}}</script>"
                );
                html = html.replacen("<head>", &format!("<head>{script}"), 1);
            }
        }
        return ("200 OK", "text/html; charset=utf-8", html);
    }
    if path == "/static/style.css" {
        return (
            "200 OK",
            "text/css; charset=utf-8",
            super::COCKPIT_STYLE_CSS.to_string(),
        );
    }
    if path == "/static/lib/api.js" {
        return (
            "200 OK",
            "application/javascript; charset=utf-8",
            super::COCKPIT_LIB_API_JS.to_string(),
        );
    }
    if path == "/static/lib/format.js" {
        return (
            "200 OK",
            "application/javascript; charset=utf-8",
            super::COCKPIT_LIB_FORMAT_JS.to_string(),
        );
    }
    if path == "/static/lib/router.js" {
        return (
            "200 OK",
            "application/javascript; charset=utf-8",
            super::COCKPIT_LIB_ROUTER_JS.to_string(),
        );
    }
    if path == "/static/lib/charts.js" {
        return (
            "200 OK",
            "application/javascript; charset=utf-8",
            super::COCKPIT_LIB_CHARTS_JS.to_string(),
        );
    }
    if path == "/static/lib/shared.js" {
        return (
            "200 OK",
            "application/javascript; charset=utf-8",
            super::COCKPIT_LIB_SHARED_JS.to_string(),
        );
    }
    if let Some(content) = match_component_path(path) {
        return ("200 OK", "application/javascript; charset=utf-8", content);
    }
    if path == "/favicon.ico" {
        return ("204 No Content", "text/plain", String::new());
    }

    stats::handle(path, query_str, method, body)
        .or_else(|| context::handle(path, query_str, method, body))
        .or_else(|| knowledge::handle(path, query_str, method, body))
        .or_else(|| memory::handle(path, query_str, method, body))
        .or_else(|| graph::handle(path, query_str, method, body))
        .or_else(|| agents::handle(path, query_str, method, body))
        .or_else(|| tools::handle(path, query_str, method, body))
        .or_else(|| system::handle(path, query_str, method, body))
        .unwrap_or_else(|| ("404 Not Found", "text/plain", "Not Found".to_string()))
}