Crate lean_ctx_server 

The MCP server and its tools, above the Engine library (lean_ctx): an edit here re-checks this crate and the crates above it, not the Engine.

Modules

agent_tools_cmd

Agent-tools session server (lean-ctx engine agent-tools).

engine

Low-level Apache in-process tool-execution façade for Engine embedders.

server

tools