lean-ctx-server 3.12.1

The LeanCTX MCP server and its tools on top of LeanCTX | OSS.
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

// SPDX-License-Identifier: Apache-2.0
pub mod ctx_agent;
pub mod ctx_artifacts;
pub mod ctx_call;
pub mod ctx_callgraph;
pub mod ctx_checkpoint;
pub mod ctx_compose;
pub mod ctx_compress;
pub mod ctx_compress_memory;
pub mod ctx_context;
pub mod ctx_control;
pub mod ctx_cost;
pub mod ctx_dedup;
pub mod ctx_delta;
pub mod ctx_discover;
pub mod ctx_discover_tools;
pub mod ctx_doc;
pub mod ctx_edit;
pub mod ctx_execute;
pub mod ctx_expand;
pub mod ctx_feedback;
pub mod ctx_gain;
pub mod ctx_git_read;
pub mod ctx_glob;
pub mod ctx_graph;
pub mod ctx_handoff;
pub mod ctx_heatmap;
pub mod ctx_index;
pub mod ctx_knowledge;
pub mod ctx_load_tools;
pub mod ctx_memory;
pub mod ctx_metrics;
pub mod ctx_multi_repo;
pub mod ctx_outline;
pub mod ctx_pack;
pub mod ctx_package;
pub mod ctx_patch;
pub mod ctx_prefetch;
pub mod ctx_preload;
pub mod ctx_proof;
pub mod ctx_provider;
pub mod ctx_radar;
pub mod ctx_read;
pub(crate) mod ctx_read_batch;
pub mod ctx_search;
pub mod ctx_session;
pub mod ctx_shape;
pub mod ctx_share;
pub mod ctx_shell;
pub(crate) mod ctx_shell_background;
pub mod ctx_tasks;
pub mod ctx_tools;
pub mod ctx_transcript_compact;
pub mod ctx_tree;
pub mod ctx_url_read;
pub mod ctx_verify;
pub mod ctx_work_graph;
pub mod shell_alias;

#[cfg(test)]
mod schema_qa_tests;

/// Resolve a relative path against session state (sync version).
/// Must be called within `tokio::task::block_in_place`.
///
/// A boundary refusal is noted for the running call's audit entry (its class,
/// never the path): the dispatch layer only resolves single-path arguments.
pub(crate) fn resolve_path_sync(
    session: &lean_ctx::core::session::SessionState,
    raw: &str,
) -> Result<String, String> {
    lean_ctx::core::path_resolve::resolve_tool_path_refusing(
        session.project_root.as_deref(),
        session.shell_cwd.as_deref(),
        raw,
        &session.extra_roots,
    )
    .map_err(|refusal| {
        if let Some(class) = refusal.class {
            lean_ctx::core::security_events::note_refusals(class, 1);
        }
        refusal.message
    })
}

// #168 removed: tool descriptions no longer steer toward ctx_* over native.
// Replacement guidance lives in AGENTS.md / CLAUDE.md rules files.