Constant PLUGIN_JSON 

pub const PLUGIN_JSON: &str = "{\n  \"name\": \"lean-ctx\",\n  \"version\": \"0.2.0\",\n  \"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.\",\n  \"types\": \"./types/index.d.ts\",\n  \"author\": {\n    \"name\": \"Thinkery / Yves Gugger\"\n  },\n  \"license\": \"Apache-2.0\",\n  \"userConfig\": {\n    \"front_loaded_tools\": {\n      \"type\": \"string\",\n      \"title\": \"Front-loaded lean-ctx tools\",\n      \"description\": \"Lean-ctx MCP tool names to keep in the prompt; all other lean-ctx tools stay deferred.\",\n      \"multiple\": true,\n      \"default\": [\n        \"ctx_read\",\n        \"ctx_search\",\n        \"ctx_shell\",\n        \"ctx_glob\",\n        \"ctx_tree\",\n        \"ctx_compose\",\n        \"ctx_patch\",\n        \"ctx_callgraph\",\n        \"ctx_session\"\n      ]\n    },\n    \"shape_native_output\": {\n      \"type\": \"boolean\",\n      \"title\": \"Shape native Bash output\",\n      \"description\": \"Compress large native Bash stdout through lean-ctx (recoverable); off keeps it byte-for-byte.\",\n      \"default\": true\n    },\n    \"cockpit_panel\": {\n      \"type\": \"boolean\",\n      \"title\": \"Open the LeanCTX cockpit sidebar\",\n      \"description\": \"Open the cockpit sidebar when a session starts. /cockpit off and /cockpit on change it; /cockpit opens it once either way.\",\n      \"default\": true\n    },\n    \"color_output\": {\n      \"type\": \"boolean\",\n      \"title\": \"Color lean-ctx output\",\n      \"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.\",\n      \"default\": true\n    },\n    \"cockpit_pulse_line\": {\n      \"type\": \"boolean\",\n      \"title\": \"Show the LeanCTX pulse line\",\n      \"description\": \"Show the line above the prompt that follows lean-ctx calls while Claude works. /cockpit pulse off and /cockpit pulse on change it.\",\n      \"default\": true\n    },\n    \"cockpit_turn_cards\": {\n      \"type\": \"boolean\",\n      \"title\": \"Show LeanCTX turn and milestone cards\",\n      \"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.\",\n      \"default\": true\n    },\n    \"wake_on_job_finish\": {\n      \"type\": \"boolean\",\n      \"title\": \"Wake Claude when a lean-ctx background job finishes\",\n      \"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.\",\n      \"default\": true\n    },\n    \"keep_hook_context\": {\n      \"type\": \"boolean\",\n      \"title\": \"Keep lean-ctx hook context\",\n      \"description\": \"Keep lean-ctx SessionStart and UserPromptSubmit context from settings hooks.\",\n      \"default\": false\n    }\n  }\n}\n";

Source manifest; hooks::agents::claude_mod::plugin_manifest stamps the engine version into it.