lean-ctx 3.9.19

Context Runtime for AI Agents with CCP. 79 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%.
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

#[derive(Debug, Clone, Default, PartialEq, Eq)]
pub struct SourceManifestEntry {
    pub source_id: String,
    pub display_name: String,
    pub kinds: Vec<String>,
    pub capabilities: SourceCapabilities,
    pub freshness_typical_ms: u64,
    pub cost_class: CostClass,
}
#[derive(Debug, Clone, Default, PartialEq, Eq)]
pub struct SourceCapabilities {
    pub search: bool,
    pub exact_get: bool,
    pub delta_sync: bool,
    pub live_query: bool,
    pub graph_edges: bool,
}
#[derive(Debug, Clone, Copy, Default, PartialEq, Eq)]
pub enum CostClass {
    #[default]
    Negligible,
    Low,
    Medium,
    High,
}
impl SourceManifestEntry {
    pub fn is_valid(&self) -> bool {
        !self.source_id.is_empty() && !self.display_name.is_empty() && !self.kinds.is_empty()
    }
}
pub fn builtin_manifests() -> Vec<SourceManifestEntry> {
    vec![
        entry(
            "local_files",
            "LocalFiles",
            vec!["file"],
            false,
            CostClass::Negligible,
        ),
        entry("jira", "Jira", vec!["issue"], true, CostClass::Low),
        entry(
            "github",
            "GitHub",
            vec!["issue", "pull_request"],
            true,
            CostClass::Low,
        ),
    ]
}
fn entry(
    source_id: &str,
    display_name: &str,
    kinds: Vec<&str>,
    live_query: bool,
    cost_class: CostClass,
) -> SourceManifestEntry {
    SourceManifestEntry {
        source_id: source_id.into(),
        display_name: display_name.into(),
        kinds: kinds.into_iter().map(str::to_owned).collect(),
        capabilities: SourceCapabilities {
            search: true,
            exact_get: true,
            delta_sync: true,
            live_query,
            graph_edges: true,
        },
        freshness_typical_ms: 60_000,
        cost_class,
    }
}
#[cfg(test)]
mod tests {
    use super::*;
    #[test]
    fn builtin_has_three_entries() {
        assert_eq!(builtin_manifests().len(), 3);
    }
    #[test]
    fn builtin_entries_are_valid() {
        assert!(
            builtin_manifests()
                .iter()
                .all(SourceManifestEntry::is_valid)
        );
    }
}