Function markFileAsRead

extensions/cli/src/tools/readFile.ts:31–33

(filePath: string)

// Track files that have been read in the current session
export const readFilesSet = new Set<string>();
export function markFileAsRead(filePath: string) {
  readFilesSet.add(filePath);
}

export const readFileTool: Tool = {
  name: "Read",