lean-ctx-engine 3.12.2

LeanCTX | OSS library: the open-source runtime for the Context Gateway for AI agents behind the lean-ctx CLI, MCP server and proxy integrations.
Documentation
{
  "name": "lean-ctx",
  "version": "0.2.0",
  "description": "LeanCTX Context Gateway cockpit: inspect recorded context activity and evidence, explore local knowledge, view colored ctx_patch diffs and highlighted reads/searches, and follow background jobs and per-session usage.",
  "types": "./types/index.d.ts",
  "author": {
    "name": "Thinkery / Yves Gugger"
  },
  "license": "Apache-2.0",
  "userConfig": {
    "front_loaded_tools": {
      "type": "string",
      "title": "Front-loaded lean-ctx tools",
      "description": "Lean-ctx MCP tool names to keep in the prompt; all other lean-ctx tools stay deferred.",
      "multiple": true,
      "default": [
        "ctx_read",
        "ctx_search",
        "ctx_shell",
        "ctx_glob",
        "ctx_tree",
        "ctx_compose",
        "ctx_patch",
        "ctx_callgraph",
        "ctx_session"
      ]
    },
    "shape_native_output": {
      "type": "boolean",
      "title": "Shape native Bash output",
      "description": "Compress large native Bash stdout through lean-ctx (recoverable); off keeps it byte-for-byte.",
      "default": true
    },
    "cockpit_panel": {
      "type": "boolean",
      "title": "Open the LeanCTX cockpit sidebar",
      "description": "Open the cockpit sidebar when a session starts. /cockpit off and /cockpit on change it; /cockpit opens it once either way.",
      "default": true
    },
    "color_output": {
      "type": "boolean",
      "title": "Color lean-ctx output",
      "description": "Draw ctx_patch diffs with line numbers and colored markers, and ctx_read / ctx_search code syntax-highlighted. Display only: Claude receives the output unchanged.",
      "default": true
    },
    "cockpit_pulse_line": {
      "type": "boolean",
      "title": "Show the LeanCTX pulse line",
      "description": "Show the line above the prompt that follows lean-ctx calls while Claude works. /cockpit pulse off and /cockpit pulse on change it.",
      "default": true
    },
    "cockpit_turn_cards": {
      "type": "boolean",
      "title": "Show LeanCTX turn and milestone cards",
      "description": "Show a short card above the prompt when a turn ends or a milestone is reached. /cockpit cards off and /cockpit cards on change it; the sidebar keeps both.",
      "default": true
    },
    "wake_on_job_finish": {
      "type": "boolean",
      "title": "Wake Claude when a lean-ctx background job finishes",
      "description": "Watch ctx_shell background jobs and start a turn when they finish (shown as a prompt from the lean-ctx plugin). Jobs finishing close together share one wake. Off: Claude checks a job's status itself.",
      "default": true
    },
    "keep_hook_context": {
      "type": "boolean",
      "title": "Keep lean-ctx hook context",
      "description": "Keep lean-ctx SessionStart and UserPromptSubmit context from settings hooks.",
      "default": false
    }
  }
}