idk

2026-06-01 20:43:19 -05:00
parent 59f1e72dec
commit 108b8243a9
1 changed files with 8 additions and 5 deletions
@@ -55,12 +55,15 @@ export const TOOLS: Tool[] = [

 export class ToolServer {
  private _callCount = 0;
+  private readonly pr: PRContext;
+  private readonly workspace: string | null;
+  private readonly maxToolCalls: number;

-  constructor(
-    private readonly pr: PRContext,
-    private readonly workspace: string | null,
-    private readonly maxToolCalls: number,
-  ) {}
+  constructor(pr: PRContext, workspace: string | null, maxToolCalls: number) {
+    this.pr = pr;
+    this.workspace = workspace;
+    this.maxToolCalls = maxToolCalls;
+  }

  get tools(): Tool[] {
    return TOOLS;