(toolName: ToolName)
| 4623 | } |
| 4624 | |
| 4625 | public recordToolUsage(toolName: ToolName) { |
| 4626 | if (!this.toolUsage[toolName]) { |
| 4627 | this.toolUsage[toolName] = { attempts: 0, failures: 0 } |
| 4628 | } |
| 4629 | |
| 4630 | this.toolUsage[toolName].attempts++ |
| 4631 | } |
| 4632 | |
| 4633 | public recordToolError(toolName: ToolName, error?: string) { |
| 4634 | if (!this.toolUsage[toolName]) { |