lean-ctx-server 3.12.3

The LeanCTX MCP server and its tools on top of LeanCTX | OSS.
Documentation 
1
2
3
4
5
6
7
8
9
10
11

// SPDX-License-Identifier: Apache-2.0
//! Byte cap shared by batch reads (`ctx_read` with `paths`).

const DEFAULT_MAX_MULTI_READ_BYTES: usize = 512 * 1024;

pub(crate) fn max_multi_read_bytes() -> usize {
    std::env::var("LCTX_MAX_MULTI_READ_BYTES")
        .ok()
        .and_then(|v| v.parse().ok())
        .unwrap_or(DEFAULT_MAX_MULTI_READ_BYTES)
}