[Server] Wire up notifications for changing prompt, resource & tools lists - #234
Closed
chr-hertel wants to merge 1 commit into
Closed
chr-hertel wants to merge 1 commit into
chr-hertel wants to merge 1 commit into
GitHub Advanced Security / CodeQL
succeeded
Feb 3, 2026 in 2s
No new alerts in code changed by this pull request
Loading