From a00d8c3fd5f1a49dfc4b65c766e26d4e664bece4 Mon Sep 17 00:00:00 2001
From: Bartosz Taudul <wolf@nereid.pl>
Date: Fri, 23 May 2025 20:25:26 +0200
Subject: [PATCH] Remove obsolete tools.json.

---
 profiler/src/llm/tools.json | 26 --------------------------
 1 file changed, 26 deletions(-)
 delete mode 100644 profiler/src/llm/tools.json

diff --git a/profiler/src/llm/tools.json b/profiler/src/llm/tools.json
deleted file mode 100644
index e90f0576..00000000
--- a/profiler/src/llm/tools.json
+++ /dev/null
@@ -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"]
-            }
-        }
-    }
-]