From 732373402f97b21700b045c59851e0d3f17e29d6 Mon Sep 17 00:00:00 2001 From: Graham Neubig Date: Sun, 7 Jun 2026 12:22:40 -0400 Subject: [PATCH] Declare CoderForge file editor tool metadata --- datasets/coderforge_preview/metadata.json | 39 ++++++++++++++++++++++- 1 file changed, 38 insertions(+), 1 deletion(-) diff --git a/datasets/coderforge_preview/metadata.json b/datasets/coderforge_preview/metadata.json index 41212e45..59856b2a 100644 --- a/datasets/coderforge_preview/metadata.json +++ b/datasets/coderforge_preview/metadata.json @@ -1,5 +1,42 @@ { - "custom_tools": [], + "custom_tools": [ + { + "type": "function", + "function": { + "name": "str_replace_editor", + "description": "View, create, and edit files with the OpenHands string replacement editor.\n\nArgs:\n----\n command: Editor command such as view, create, str_replace, insert, or undo_edit.\n path: Absolute path to the file or directory to operate on.\n file_text: Content to write when creating a file.\n old_str: Existing text to replace.\n new_str: Replacement text or text to insert.\n insert_line: Line number after which to insert new_str.\n view_range: Optional 1-indexed inclusive line range for view commands.", + "parameters": { + "type": "object", + "properties": { + "command": { + "type": "string" + }, + "path": { + "type": "string" + }, + "file_text": { + "type": "string" + }, + "old_str": { + "type": "string" + }, + "new_str": { + "type": "string" + }, + "insert_line": { + "type": "integer" + }, + "view_range": {} + }, + "additionalProperties": false, + "required": [ + "command", + "path" + ] + } + } + } + ], "code_enabled": [ "bash" ],