yvgude/lean-ctx v2.12.0

v2.12.0 — Granular tools default, slimmer instructions

on GitHub

Changed

• Granular tools as default: All clients now get 25 individual ctx_* tools instead of the unified ctx() meta-tool. Unified mode available via LEAN_CTX_UNIFIED=1.
• ~40% slimmer MCP instructions: Removed verbose CEP examples, Output Budget rules, redundant enforcement prose.
• ~60% slimmer rules injection: Eliminated duplication with MCP instructions.
• Addresses reports of models inconsistently calling MCP tools due to instruction overload.

Full Changelog: v2.11.1...v2.12.0