Skip to content

feat: integrate lean-md as an external lean-ctx addon (+ LSP formatter routing) - #721

Merged
yvgude merged 16 commits into
yvgude:mainfrom
dasTholo:pr/lean-md-addon
Jul 12, 2026
Merged

feat: integrate lean-md as an external lean-ctx addon (+ LSP formatter routing)#721
yvgude merged 16 commits into
yvgude:mainfrom
dasTholo:pr/lean-md-addon

chore(registry): lean-md min_lean_ctx 3.9.6 + version 0.2.0

84ca797
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL succeeded Jul 11, 2026 in 2s

No new alerts in code changed by this pull request

View all branch alerts.