lean_ctx_server/
lib.rs

1// SPDX-License-Identifier: Apache-2.0
2#![recursion_limit = "256"]
3#![warn(clippy::undocumented_unsafe_blocks)]
4
5//! The MCP server and its tools, above the Engine library (`lean_ctx`): an
6//! edit here re-checks this crate and the crates above it, not the Engine.
7
8/// Agent-tools session server (`lean-ctx engine agent-tools`).
9pub mod agent_tools_cmd;
10/// Low-level Apache in-process tool-execution façade for Engine embedders.
11pub mod engine;
12pub mod server;
13pub mod tools;
14
15/// The containment helper test of this crate's unit-test harness, at the path
16/// the Engine starts its helpers and guards on (`shell::containment::tests`).
17#[cfg(all(test, unix))]
18mod shell {
19    mod containment {
20        mod tests {
21            #[test]
22            #[ignore = "subprocess helper for the containment tests"]
23            fn containment_helper() {
24                lean_ctx::shell::containment::tests::containment_helper_main();
25            }
26        }
27    }
28}
lean_ctx_server/lib.rs

lean_ctx_server/
lib.rs
