lean-ctx 3.1.5

Context Runtime for AI Agents with CCP. 42 MCP tools, 10 read modes, 90+ 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

use axum::extract::State;
use axum::http::{HeaderMap, StatusCode};
use axum::Json;
use serde::{Deserialize, Serialize};

use super::auth::{auth_user, AppState};
use super::helpers::internal_error;

#[derive(Deserialize)]
pub struct CommandEntry {
    pub command: String,
    #[serde(default)]
    pub source: String,
    #[serde(default)]
    pub count: i64,
    #[serde(default)]
    pub input_tokens: i64,
    #[serde(default)]
    pub output_tokens: i64,
    #[serde(default)]
    pub tokens_saved: i64,
}

#[derive(Deserialize)]
pub struct CommandsEnvelope {
    pub commands: Vec<CommandEntry>,
}

#[derive(Serialize)]
pub struct CommandRow {
    pub command: String,
    pub source: String,
    pub count: i64,
    pub input_tokens: i64,
    pub output_tokens: i64,
    pub tokens_saved: i64,
}

pub async fn post_commands(
    State(state): State<AppState>,
    headers: HeaderMap,
    Json(body): Json<CommandsEnvelope>,
) -> Result<Json<serde_json::Value>, (StatusCode, String)> {
    let (user_id, _) = auth_user(&state, &headers).await?;
    let client = state.pool.get().await.map_err(internal_error)?;

    for cmd in &body.commands {
        let command = cmd.command.trim();
        if command.is_empty() {
            continue;
        }
        let source = if cmd.source.is_empty() {
            "unknown"
        } else {
            &cmd.source
        };
        client
            .execute(
                r#"INSERT INTO command_stats (user_id, command, source, count, input_tokens, output_tokens, tokens_saved)
                   VALUES ($1, $2, $3, $4, $5, $6, $7)
                   ON CONFLICT (user_id, command) DO UPDATE SET
                     source = EXCLUDED.source,
                     count = EXCLUDED.count,
                     input_tokens = EXCLUDED.input_tokens,
                     output_tokens = EXCLUDED.output_tokens,
                     tokens_saved = EXCLUDED.tokens_saved,
                     updated_at = NOW()"#,
                &[
                    &user_id,
                    &command,
                    &source,
                    &cmd.count,
                    &cmd.input_tokens,
                    &cmd.output_tokens,
                    &cmd.tokens_saved,
                ],
            )
            .await
            .map_err(internal_error)?;
    }

    Ok(Json(serde_json::json!({"synced": body.commands.len()})))
}

pub async fn get_commands(
    State(state): State<AppState>,
    headers: HeaderMap,
) -> Result<Json<Vec<CommandRow>>, (StatusCode, String)> {
    let (user_id, _) = auth_user(&state, &headers).await?;
    let client = state.pool.get().await.map_err(internal_error)?;

    let rows = client
        .query(
            r#"SELECT command, source, count, input_tokens, output_tokens, tokens_saved
               FROM command_stats WHERE user_id = $1
               ORDER BY tokens_saved DESC LIMIT 200"#,
            &[&user_id],
        )
        .await
        .map_err(internal_error)?;

    let result: Vec<CommandRow> = rows
        .iter()
        .map(|r| CommandRow {
            command: r.get(0),
            source: r.get(1),
            count: r.get(2),
            input_tokens: r.get(3),
            output_tokens: r.get(4),
            tokens_saved: r.get(5),
        })
        .collect();

    Ok(Json(result))
}