Added
- Verdent IDE support — 21st supported IDE/agent with full MCP integration
- Scientific verification suite — 34 tests validating entropy, LITM, IB filter, cost model
- Normalized BPE entropy with dual-gate filtering
Fixed
- Token savings inflation in terminal + dashboard (speculative output bonus removed)
- VS Code uninstall (wrong path + JSON schema)
- Zed macOS path mismatch
- Gemini uninstall path + 8 missing IDEs in cleanup
- Cursor MDC version markers
Changed
- LITM quadratic U-curve (from linear)
- IB score weighted factors (from additive constants)
Full changelog: https://github.com/yvgude/lean-ctx/blob/main/CHANGELOG.md
Full Changelog: v2.12.9...v2.13.0