fix: Rename tool name, sent notifications/tools/list_changed#37
Merged
jirispilka merged 8 commits intomasterfrom Mar 12, 2025
Merged
fix: Rename tool name, sent `notifications/tools/list_changed`#37jirispilka merged 8 commits intomasterfrom
jirispilka merged 8 commits intomasterfrom
Commits
Commits on Mar 11, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed