LeanCTX OSS 3.12.1 A security and governance release. Shell, file and Hive paths now fail closed: the shell gate checks every command it lets through, its policy can no l

🚀 LeanCTX 3.12.0: meet the Cockpit  The new Cockpit, Savings view. Our own do

…or ~/.claude/.credentials.json , stay closed, and LeanCTX tools cannot write there. A skill linked in from elsewhere below ~ is followed read-only; a link into a protecte

…& fix bugs by @Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/194 Note Lean Copilot is incompatible with Lean versions between 4.28.0 and 4.32.0-rc1 due to

…Changelog : https://github.com/lynxthecat/adblock-lean/compare/v0.7.4...v0.7.4.1

…n multiple dnsmasq instances (the service adblock-lean select dnsmasq instances command now allows to pick multiple instances) - thank you @languagegame for requesting th