Repository navigation
[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
Commits
Commits on Feb 3, 2026