lean-ctx-client

Level AMCP ecosystemNot an MCP ServerLocal

Thin, dependency-free Python client for the lean-ctx HTTP /v1 contract

Overview

lean-ctx-client is a thin, dependency-free Python client for the lean-ctx HTTP /v1 contract, built only on the standard library (urllib). It speaks the wire protocol only, never linking the engine or re-implementing compression, and mirrors the TypeScript and Rust SDKs. It covers health, tool listing and calls, event subscription and search, context summaries, and metrics, plus a shared conformance kit and offline OCLA verification.

⭐ 3.9kOtherRustRepo ↗Updated 2026-10-28

Installation

MCP client config (paste into mcp.json)

{
  "mcpServers": {
    "yvgude-lean-ctx-archive-clients-python": {
      "command": "uvx",
      "args": [
        "--from",
        "lean-ctx-client",
        "leanctx-ocla-verify"
      ]
    }
  }
}

Agent install prompt

Copy and paste into Cursor / Claude / other agents to install this MCP for you

Please read this MCP repository and install it into my current environment:
https://github.com/yvgude/lean-ctx/tree/main/_archive/clients-python

Known working client config (can write into mcp.json):
{
  "mcpServers": {
    "yvgude-lean-ctx-archive-clients-python": {
      "command": "uvx",
      "args": [
        "--from",
        "lean-ctx-client",
        "leanctx-ocla-verify"
      ]
    }
  }
}

Please: 1) check README for deps and env vars; 2) write config for my client; 3) if secrets are missing, tell me what to fill — do not invent values.

GitHub

lean-ctx-client

Installation

Agent install prompt

Related servers