lean-ctx-server 3.12.2

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

// SPDX-License-Identifier: Apache-2.0
mod applied_edits;
mod implementation;
mod reindent;

pub use implementation::*;

#[cfg(all(test, unix))]
use crate::tools::edit_io::write_atomic_bytes_with_permissions;
#[cfg(test)]
use lean_ctx::core::cache::SessionCache;
#[cfg(test)]
use std::path::Path;

#[cfg(test)]
include!("tests.rs");