praxis-agent 0.1.0

package/dist/tools/glob.js

@@ -0,0 +1,88 @@
+import { lstat, opendir } from 'node:fs/promises';
+import { isAbsolute, join, resolve, sep } from 'node:path';
+import { minimatch } from 'minimatch';
+const MAX_RESULTS = 100;
+function abortError() {
+    return new DOMException('Tool execution aborted', 'AbortError');
+}
+function portablePath(path) {
+    return sep === '/' ? path : path.split(sep).join('/');
+}
+function compareMatches(left, right) {
+    return left.mtimeMs - right.mtimeMs || left.order - right.order;
+}
+function insertOldest(matches, candidate) {
+    let low = 0;
+    let high = matches.length;
+    while (low < high) {
+        const middle = Math.floor((low + high) / 2);
+        const current = matches[middle];
+        if (current && compareMatches(current, candidate) <= 0)
+            low = middle + 1;
+        else
+            high = middle;
+    }
+    matches.splice(low, 0, candidate);
+    if (matches.length > MAX_RESULTS)
+        matches.pop();
+}
+export async function globFiles(options) {
+    const pattern = portablePath(options.pattern);
+    const absolutePattern = isAbsolute(options.pattern);
+    const matchBase = !absolutePattern && !pattern.includes('/');
+    const matches = [];
+    const directories = [''];
+    let matchCount = 0;
+    let order = 0;
+    while (directories.length > 0) {
+        if (options.signal?.aborted)
+            throw abortError();
+        const relativeDirectory = directories.pop() ?? '';
+        const directory = await opendir(join(options.root, relativeDirectory));
+        for await (const entry of directory) {
+            if (options.signal?.aborted)
+                throw abortError();
+            const relativePath = join(relativeDirectory, entry.name);
+            if (entry.isDirectory()) {
+                directories.push(relativePath);
+                continue;
+            }
+            if (!entry.isFile())
+                continue;
+            const portableRelativePath = portablePath(relativePath);
+            const absolutePath = portablePath(resolve(options.absoluteRoot, relativePath));
+            if (pattern !== '' &&
+                !minimatch(absolutePattern ? absolutePath : portableRelativePath, pattern, { dot: true, matchBase, noext: true })) {
+                continue;
+            }
+            let metadata;
+            try {
+                metadata = await lstat(join(options.root, relativePath));
+            }
+            catch (error) {
+                if (error.code === 'ENOENT')
+                    continue;
+                throw error;
+            }
+            if (!metadata.isFile())
+                continue;
+            const displayPath = absolutePattern
+                ? absolutePath
+                : portablePath(join(options.displayRoot, relativePath));
+            insertOldest(matches, {
+                path: displayPath,
+                mtimeMs: metadata.mtimeMs,
+                order,
+            });
+            matchCount += 1;
+            order += 1;
+        }
+    }
+    if (matchCount === 0)
+        return 'No files found';
+    const content = matches.map((match) => match.path).join('\n');
+    return matchCount > MAX_RESULTS
+        ? `${content}\n(Showing ${MAX_RESULTS} of ${matchCount} matching files; ${matchCount - MAX_RESULTS} more are not listed. Narrow the pattern or path to see the rest.)`
+        : content;
+}
+//# sourceMappingURL=glob.js.map

package/dist/tools/glob.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"glob.js","sourceRoot":"","sources":["../../src/tools/glob.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjD,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAA;AAE1D,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAErC,MAAM,WAAW,GAAG,GAAG,CAAA;AAgBvB,SAAS,UAAU;IACjB,OAAO,IAAI,YAAY,CAAC,wBAAwB,EAAE,YAAY,CAAC,CAAA;AACjE,CAAC;AAED,SAAS,YAAY,CAAC,IAAY;IAChC,OAAO,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AACvD,CAAC;AAED,SAAS,cAAc,CAAC,IAAe,EAAE,KAAgB;IACvD,OAAO,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAA;AACjE,CAAC;AAED,SAAS,YAAY,CAAC,OAAoB,EAAE,SAAoB;IAC9D,IAAI,GAAG,GAAG,CAAC,CAAA;IACX,IAAI,IAAI,GAAG,OAAO,CAAC,MAAM,CAAA;IACzB,OAAO,GAAG,GAAG,IAAI,EAAE,CAAC;QAClB,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;QAC3C,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;QAC/B,IAAI,OAAO,IAAI,cAAc,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC;YAAE,GAAG,GAAG,MAAM,GAAG,CAAC,CAAA;;YACnE,IAAI,GAAG,MAAM,CAAA;IACpB,CAAC;IACD,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,SAAS,CAAC,CAAA;IACjC,IAAI,OAAO,CAAC,MAAM,GAAG,WAAW;QAAE,OAAO,CAAC,GAAG,EAAE,CAAA;AACjD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,OAAyB;IACvD,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;IAC7C,MAAM,eAAe,GAAG,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;IACnD,MAAM,SAAS,GAAG,CAAC,eAAe,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAA;IAC5D,MAAM,OAAO,GAAgB,EAAE,CAAA;IAC/B,MAAM,WAAW,GAAG,CAAC,EAAE,CAAC,CAAA;IACxB,IAAI,UAAU,GAAG,CAAC,CAAA;IAClB,IAAI,KAAK,GAAG,CAAC,CAAA;IAEb,OAAO,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,IAAI,OAAO,CAAC,MAAM,EAAE,OAAO;YAAE,MAAM,UAAU,EAAE,CAAA;QAC/C,MAAM,iBAAiB,GAAG,WAAW,CAAC,GAAG,EAAE,IAAI,EAAE,CAAA;QACjD,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAA;QACtE,IAAI,KAAK,EAAE,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;YACpC,IAAI,OAAO,CAAC,MAAM,EAAE,OAAO;gBAAE,MAAM,UAAU,EAAE,CAAA;YAC/C,MAAM,YAAY,GAAG,IAAI,CAAC,iBAAiB,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;YACxD,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;gBACxB,WAAW,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;gBAC9B,SAAQ;YACV,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE;gBAAE,SAAQ;YAE7B,MAAM,oBAAoB,GAAG,YAAY,CAAC,YAAY,CAAC,CAAA;YACvD,MAAM,YAAY,GAAG,YAAY,CAC/B,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,YAAY,CAAC,CAC5C,CAAA;YACD,IACE,OAAO,KAAK,EAAE;gBACd,CAAC,SAAS,CACR,eAAe,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,oBAAoB,EACrD,OAAO,EACP,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,CACtC,EACD,CAAC;gBACD,SAAQ;YACV,CAAC;YAED,IAAI,QAAQ,CAAA;YACZ,IAAI,CAAC;gBACH,QAAQ,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAA;YAC1D,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;oBAAE,SAAQ;gBAChE,MAAM,KAAK,CAAA;YACb,CAAC;YACD,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE;gBAAE,SAAQ;YAChC,MAAM,WAAW,GAAG,eAAe;gBACjC,CAAC,CAAC,YAAY;gBACd,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,CAAA;YACzD,YAAY,CAAC,OAAO,EAAE;gBACpB,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,QAAQ,CAAC,OAAO;gBACzB,KAAK;aACN,CAAC,CAAA;YACF,UAAU,IAAI,CAAC,CAAA;YACf,KAAK,IAAI,CAAC,CAAA;QACZ,CAAC;IACH,CAAC;IAED,IAAI,UAAU,KAAK,CAAC;QAAE,OAAO,gBAAgB,CAAA;IAC7C,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC7D,OAAO,UAAU,GAAG,WAAW;QAC7B,CAAC,CAAC,GAAG,OAAO,cAAc,WAAW,OAAO,UAAU,oBAAoB,UAAU,GAAG,WAAW,oEAAoE;QACtK,CAAC,CAAC,OAAO,CAAA;AACb,CAAC"}

package/dist/tools/local-tools.d.ts

@@ -0,0 +1,47 @@
+import type { ModelToolCall, ModelToolDefinition, ToolExecutionContext, ToolExecutionResult, ToolRegistry } from '../core/runtime.js';
+export interface LocalToolRegistryOptions {
+    cwd: string;
+    cwdProvider?: () => string;
+    sharedMemoryDirectory?: string;
+    additionalDirectories?: readonly string[];
+    additionalReadDirectories?: readonly string[];
+    maxOutputBytes?: number;
+    maxFileBytes?: number;
+    maxShellTimeoutMs?: number;
+    enableReportFindings?: boolean;
+    environment?: Readonly<Record<string, string>>;
+}
+export declare class LocalToolRegistry implements ToolRegistry {
+    private readonly cwd;
+    private readonly cwdProvider;
+    private readonly sharedMemoryDirectory;
+    private readonly additionalDirectories;
+    private readonly additionalReadDirectories;
+    private readonly maxOutputBytes;
+    private readonly maxFileBytes;
+    private readonly maxShellTimeoutMs;
+    private readonly processRunner;
+    private readonly enableReportFindings;
+    private readonly environment;
+    constructor(options: LocalToolRegistryOptions);
+    private currentCwd;
+    definitions(): readonly ModelToolDefinition[];
+    prepare(call: ModelToolCall, context: ToolExecutionContext): Promise<ModelToolCall>;
+    execute(call: ModelToolCall, context: ToolExecutionContext): Promise<ToolExecutionResult>;
+    private workspacePath;
+    private filePath;
+    private resolvePath;
+    private assertStablePath;
+    private globRoot;
+    private wasSuccessfullyRead;
+    private read;
+    private readPdf;
+    private createPdfOutputDirectory;
+    private write;
+    private edit;
+    private notebookEdit;
+    private glob;
+    private grep;
+    private bash;
+}
+//# sourceMappingURL=local-tools.d.ts.map

package/dist/tools/local-tools.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"local-tools.d.ts","sourceRoot":"","sources":["../../src/tools/local-tools.ts"],"names":[],"mappings":"AAuBA,OAAO,KAAK,EAIV,aAAa,EACb,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,EACnB,YAAY,EACb,MAAM,oBAAoB,CAAA;AAY3B,MAAM,WAAW,wBAAwB;IACvC,GAAG,EAAE,MAAM,CAAA;IACX,WAAW,CAAC,EAAE,MAAM,MAAM,CAAA;IAC1B,qBAAqB,CAAC,EAAE,MAAM,CAAA;IAC9B,qBAAqB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IACzC,yBAAyB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IAC7C,cAAc,CAAC,EAAE,MAAM,CAAA;IACvB,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,iBAAiB,CAAC,EAAE,MAAM,CAAA;IAC1B,oBAAoB,CAAC,EAAE,OAAO,CAAA;IAC9B,WAAW,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;CAC/C;AAseD,qBAAa,iBAAkB,YAAW,YAAY;IACpD,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAQ;IAC5B,OAAO,CAAC,QAAQ,CAAC,WAAW,CAA4B;IACxD,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAoB;IAC1D,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAmB;IACzD,OAAO,CAAC,QAAQ,CAAC,yBAAyB,CAAmB;IAC7D,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAQ;IACvC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAQ;IACrC,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAQ;IAC1C,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAsB;IACpD,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAS;IAC9C,OAAO,CAAC,QAAQ,CAAC,WAAW,CAA8C;gBAE9D,OAAO,EAAE,wBAAwB;IAuB7C,OAAO,CAAC,UAAU;IAIlB,WAAW,IAAI,SAAS,mBAAmB,EAAE;IAsCvC,OAAO,CACX,IAAI,EAAE,aAAa,EACnB,OAAO,EAAE,oBAAoB,GAC5B,OAAO,CAAC,aAAa,CAAC;IA8JnB,OAAO,CACX,IAAI,EAAE,aAAa,EACnB,OAAO,EAAE,oBAAoB,GAC5B,OAAO,CAAC,mBAAmB,CAAC;YAqCjB,aAAa;YAQb,QAAQ;YAeR,WAAW;YA2DX,gBAAgB;YAMhB,QAAQ;YAwBR,mBAAmB;YA+BnB,IAAI;YA8EJ,OAAO;YAmFP,wBAAwB;YAUxB,KAAK;YA4BL,IAAI;YA6CJ,YAAY;YAuCZ,IAAI;YAqCJ,IAAI;YAyCJ,IAAI;CA6BnB"}