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
// SPDX-License-Identifier: Apache-2.0
//! The tool-visibility policy lives in [`lean_ctx::core::tool_visibility`] so
//! engine code outside the MCP server can read it; re-exported here for the
//! server's own callers.

pub use lean_ctx::core::tool_visibility::*;