lean-ctx 3.9.18

Context Runtime for AI Agents with CCP. 71 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%.
Documentation 
1
2
3
4
5
6
7

//! Benchmark dataset loaders (HumanEval, MBPP, SWE-bench).

pub(crate) mod download;
pub(crate) mod humaneval;
pub(crate) mod mbpp;
#[allow(dead_code)]
pub(crate) mod swebench;