lean-ctx-server 3.12.2

The LeanCTX MCP server and its tools on top of LeanCTX | OSS.
Documentation

lean-ctx-server

There is currently very little information to present on this page because Docs.rs has only limited support for extracting structured feature metadata from Cargo crates. This issue is tracked in Rust RFC #3416. Check this library's main docs, readme, and Cargo.toml in case its authors have documentation for features available there instead.

This version has 23 feature flags, 9 of them enabled by default.

default

embeddings (default)

http-server (default)

jemalloc (default)

pgvector (default)

qdrant (default)

secure-update (default)

shape-xlat (default)

tree-sitter (default)

wasm (default)

dev-tools

enterprise

grammar-haskell

grammar-julia

grammar-ocaml

grammars-long-tail

no-jail

onnx

ort-coreml

ort-cuda

ort-directml

ort-rocm

ort-webgpu

test-support