lean-ctx-server 3.12.1

The LeanCTX MCP server and its tools on top of LeanCTX | OSS.
Documentation
1
2
3
// SPDX-License-Identifier: Apache-2.0
//! Re-export: the memory policy loader lives in `core::knowledge_consolidate`.
pub use lean_ctx::core::knowledge_consolidate::load_policy_or_error;