Function summarizeTools

src/modules/tools.ts:400–410

(toolIDs: string[])

}

export function summarizeTools(toolIDs: string[]) {
  const toolStr = toolIDs
    .map((t) => {
      const tool = tools[t];
      const toolStr = convertToToolCommandString(tool);
      return toolStr;
    })
    .join('\n---\n');

  return toolStr;
}