Update tools.py

tools.py

@@ -121,6 +121,35 @@ def fetch_video_metadata(video_id: str) -> str:
 
     except Exception as e:
         return f"❌ Error fetching metadata: {e}"
+
+@tool
+def check_commutativity_table(table_text: str) -> str:
+    """
+    Parse a multiplication table from markdown-like text and return the set of elements involved in counter-examples to commutativity.
+    """
+    try:
+        lines = [line.strip() for line in table_text.strip().splitlines() if '|' in line]
+        header = [e.strip() for e in lines[0].split('|')[1:] if e.strip()]  # skip first column label
+        elements = header
+
+        table = {}
+        for row in lines[2:]:  # skip header and separator
+            cells = [c.strip() for c in row.split('|')[1:] if c.strip()]
+            row_label = cells[0]
+            values = cells[1:]
+            table[row_label] = dict(zip(elements, values))
+
+        involved = set()
+        for x in elements:
+            for y in elements:
+                if table[x][y] != table[y][x]:
+                    involved.add(x)
+                    involved.add(y)
+
+        return ",".join(sorted(involved))
+
+    except Exception as e:
+        return f"❌ Error parsing table: {e}"
         
 
 # List of all tools
@@ -128,4 +157,5 @@ all_tools = [
     extract_number_from_text,
     search_wikipedia,
     analyze_youtube_video,
+    check_commutativity_table
 ]