lean-ctx 3.6.5

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

use crate::core::instruction_compiler::{self, CompileOptions};
use crate::tools::CrpMode;

pub(crate) fn cmd_instructions(args: &[String]) {
    if args.iter().any(|a| a == "--help" || a == "-h") {
        print_help();
        return;
    }
    if args.iter().any(|a| a == "--list-clients") {
        for c in crate::core::client_constraints::ALL_CLIENTS {
            println!("{}", c.id);
        }
        return;
    }

    let client = value_arg(args, "--client");
    let profile = value_arg(args, "--profile");

    let unified = args.iter().any(|a| a == "--unified");
    let json = args.iter().any(|a| a == "--json");
    let include_rules = args.iter().any(|a| a == "--include-rules");

    let crp_mode_override = value_arg(args, "--crp").and_then(|v| CrpMode::parse(&v));

    let client = client.unwrap_or_default();
    let profile = profile.unwrap_or_else(crate::core::profiles::active_profile_name);

    if client.trim().is_empty() {
        eprintln!("Missing --client.");
        print_help();
        std::process::exit(2);
    }

    let res = instruction_compiler::compile(
        &client,
        &profile,
        CompileOptions {
            unified,
            include_rules_files: include_rules,
            crp_mode_override,
        },
    );
    let out = match res {
        Ok(v) => v,
        Err(e) => {
            eprintln!("instructions: {e}");
            std::process::exit(2);
        }
    };

    if json {
        println!(
            "{}",
            serde_json::to_string_pretty(&out).unwrap_or_else(|_| "{}".to_string())
        );
    } else {
        print!("{}", out.mcp_instructions);
        if !out.mcp_instructions.ends_with('\n') {
            println!();
        }
    }
}

fn value_arg(args: &[String], key: &str) -> Option<String> {
    for (i, a) in args.iter().enumerate() {
        if let Some(v) = a.strip_prefix(&format!("{key}=")) {
            return Some(v.to_string());
        }
        if a == key {
            return args.get(i + 1).cloned();
        }
    }
    None
}

fn print_help() {
    println!(
        "\
lean-ctx instructions

Usage:
  lean-ctx instructions --client <id> [--profile <name>] [--crp off|compact|tdd] [--unified] [--json] [--include-rules]
  lean-ctx instructions --list-clients

Notes:
  - Output is deterministic for the same inputs (profile + client + flags).
  - Use --json to include metadata (and optionally rules file contents).
"
    );
}