Remove obsolete tools.json.

2026-10-16 22:05:34 +00:00 · 2025-05-23 20:25:26 +02:00
parent bddd705861
commit a00d8c3fd5
1 changed files with 0 additions and 26 deletions
--- a/profiler/src/llm/tools.json
+++ b/profiler/src/llm/tools.json
@@ -1,26 +0,0 @@
-[
-    {
-        "type": "function",
-        "function": {
-            "name": "get_current_time",
-            "description": "Get the current time formatted as a string."
-        }
-    },
-    {
-        "type": "function",
-        "function": {
-            "name": "fetch_web_page",
-            "description": "Fetch a web page from the given URL.",
-            "parameters": {
-                "type": "object",
-                "properties": {
-                    "url": {
-                        "type": "string",
-                        "description": "The URL of the web page to fetch."
-                    }
-                },
-                "required": ["url"]
-            }
-        }
-    }
-]