Function augmentToolsForPythonRepl

src/tools/REPLTool/pyReplFactory.tsx:232–241

(toolUseContext: ToolUseContext)

}

function augmentToolsForPythonRepl(toolUseContext: ToolUseContext): Tool[] {
  const byName = new Map<string, Tool>()
  for (const tool of toolUseContext.options.tools) {
    byName.set(tool.name, tool)
  }
  for (const tool of getReplPrimitiveTools()) {
    byName.set(tool.name, tool)
  }
  return [...byName.values()]
}

function formatToolCallSummary(call: ReplToolCallSummary): string {
  const input = preview(stringifyUnknown(call.toolInput))