mirror of
https://gitea.toothfairyai.com/ToothFairyAI/tf_code.git
synced 2026-03-31 06:12:26 +00:00
120 lines
3.7 KiB
TypeScript
120 lines
3.7 KiB
TypeScript
import { z } from "zod"
|
|
import * as fs from "fs"
|
|
import * as path from "path"
|
|
import { Tool } from "./tool"
|
|
import { LSP } from "../lsp"
|
|
import { FileTime } from "../file/time"
|
|
import DESCRIPTION from "./read.txt"
|
|
import { App } from "../app/app"
|
|
import { Filesystem } from "../util/filesystem"
|
|
|
|
const DEFAULT_READ_LIMIT = 2000
|
|
const MAX_LINE_LENGTH = 2000
|
|
|
|
export const ReadTool = Tool.define("read", {
|
|
description: DESCRIPTION,
|
|
parameters: z.object({
|
|
filePath: z.string().describe("The path to the file to read"),
|
|
offset: z.coerce.number().describe("The line number to start reading from (0-based)").optional(),
|
|
limit: z.coerce.number().describe("The number of lines to read (defaults to 2000)").optional(),
|
|
}),
|
|
async execute(params, ctx) {
|
|
let filepath = params.filePath
|
|
if (!path.isAbsolute(filepath)) {
|
|
filepath = path.join(process.cwd(), filepath)
|
|
}
|
|
const app = App.info()
|
|
if (!Filesystem.contains(app.path.cwd, filepath)) {
|
|
throw new Error(`File ${filepath} is not in the current working directory`)
|
|
}
|
|
|
|
const file = Bun.file(filepath)
|
|
if (!(await file.exists())) {
|
|
const dir = path.dirname(filepath)
|
|
const base = path.basename(filepath)
|
|
|
|
const dirEntries = fs.readdirSync(dir)
|
|
const suggestions = dirEntries
|
|
.filter(
|
|
(entry) =>
|
|
entry.toLowerCase().includes(base.toLowerCase()) || base.toLowerCase().includes(entry.toLowerCase()),
|
|
)
|
|
.map((entry) => path.join(dir, entry))
|
|
.slice(0, 3)
|
|
|
|
if (suggestions.length > 0) {
|
|
throw new Error(`File not found: ${filepath}\n\nDid you mean one of these?\n${suggestions.join("\n")}`)
|
|
}
|
|
|
|
throw new Error(`File not found: ${filepath}`)
|
|
}
|
|
|
|
const limit = params.limit ?? DEFAULT_READ_LIMIT
|
|
const offset = params.offset || 0
|
|
const isImage = isImageFile(filepath)
|
|
if (isImage) throw new Error(`This is an image file of type: ${isImage}\nUse a different tool to process images`)
|
|
const isBinary = await isBinaryFile(file)
|
|
if (isBinary) throw new Error(`Cannot read binary file: ${filepath}`)
|
|
const lines = await file.text().then((text) => text.split("\n"))
|
|
const raw = lines.slice(offset, offset + limit).map((line) => {
|
|
return line.length > MAX_LINE_LENGTH ? line.substring(0, MAX_LINE_LENGTH) + "..." : line
|
|
})
|
|
const content = raw.map((line, index) => {
|
|
return `${(index + offset + 1).toString().padStart(5, "0")}| ${line}`
|
|
})
|
|
const preview = raw.slice(0, 20).join("\n")
|
|
|
|
let output = "<file>\n"
|
|
output += content.join("\n")
|
|
|
|
if (lines.length > offset + content.length) {
|
|
output += `\n\n(File has more lines. Use 'offset' parameter to read beyond line ${offset + content.length})`
|
|
}
|
|
output += "\n</file>"
|
|
|
|
// just warms the lsp client
|
|
LSP.touchFile(filepath, false)
|
|
FileTime.read(ctx.sessionID, filepath)
|
|
|
|
return {
|
|
title: path.relative(App.info().path.root, filepath),
|
|
output,
|
|
metadata: {
|
|
preview,
|
|
},
|
|
}
|
|
},
|
|
})
|
|
|
|
function isImageFile(filePath: string): string | false {
|
|
const ext = path.extname(filePath).toLowerCase()
|
|
switch (ext) {
|
|
case ".jpg":
|
|
case ".jpeg":
|
|
return "JPEG"
|
|
case ".png":
|
|
return "PNG"
|
|
case ".gif":
|
|
return "GIF"
|
|
case ".bmp":
|
|
return "BMP"
|
|
case ".svg":
|
|
return "SVG"
|
|
case ".webp":
|
|
return "WebP"
|
|
default:
|
|
return false
|
|
}
|
|
}
|
|
|
|
async function isBinaryFile(file: Bun.BunFile): Promise<boolean> {
|
|
const buffer = await file.arrayBuffer()
|
|
const bytes = new Uint8Array(buffer.slice(0, 512)) // Check first 512 bytes
|
|
|
|
for (let i = 0; i < bytes.length; i++) {
|
|
if (bytes[i] === 0) return true // Null byte indicates binary
|
|
}
|
|
|
|
return false
|
|
}
|