fix(check): repair monitor and message tool types

This commit is contained in:
Peter Steinberger
2026-04-06 14:54:55 +01:00
parent 9fa5b413f0
commit c817e6d388
3 changed files with 37 additions and 7 deletions

View File

@@ -586,7 +586,7 @@ function buildMessageToolDescription(options?: {
});
if (channelActions.length > 0) {
// Always include "send" as a base action
const allActions = new Set(["send", ...channelActions]);
const allActions = new Set<ChannelMessageActionName | "send">(["send", ...channelActions]);
const actionList = Array.from(allActions).toSorted().join(", ");
let desc = `${baseDescription} Current channel (${currentChannel}) supports: ${actionList}.`;
@@ -609,7 +609,7 @@ function buildMessageToolDescription(options?: {
requesterSenderId: resolvedOptions.requesterSenderId,
});
if (actions.length > 0) {
const all = new Set(["send", ...actions]);
const all = new Set<ChannelMessageActionName | "send">(["send", ...actions]);
otherChannels.push(`${plugin.id} (${Array.from(all).toSorted().join(", ")})`);
}
}