refactor: Enforce strict typed JsonSchema for all MCP tools

server/src/dashboard.html

@@ -710,32 +710,43 @@
             }
         }
 
-        // --- SSE Activity Feed ---
-        function setupSSE() {
-            const es = new EventSource('/sse');
+        // --- WebSocket Activity Feed ---
+        function setupWS() {
+            const protocol = location.protocol === 'https:' ? 'wss:' : 'ws:';
+            const ws = new WebSocket(`${protocol}//${location.host}/ws?client=ui`);
             const feed = document.getElementById('activity-feed');
             
-            es.addEventListener('activity', function(event) {
-                if (event.data.startsWith('/messages?')) return;
-                
-                const div = document.createElement('div');
-                div.className = 'feed-entry';
-                const time = new Date().toLocaleTimeString();
-                div.innerHTML = `<span class="time">[${time}]</span> ${event.data}`;
-                feed.appendChild(div);
-                
-                // Auto-scroll logic
-                const isScrolledToBottom = feed.scrollHeight - feed.clientHeight <= feed.scrollTop + 20;
-                if (isScrolledToBottom) {
-                    feed.scrollTop = feed.scrollHeight;
+            ws.onmessage = function(event) {
+                try {
+                    const data = JSON.parse(event.data);
+                    if (data.type === 'activity') {
+                        const div = document.createElement('div');
+                        div.className = 'feed-entry';
+                        const time = new Date().toLocaleTimeString();
+                        div.innerHTML = `<span class="time">[${time}]</span> ${data.data}`;
+                        feed.appendChild(div);
+                        
+                        // Auto-scroll logic
+                        const isScrolledToBottom = feed.scrollHeight - feed.clientHeight <= feed.scrollTop + 20;
+                        if (isScrolledToBottom) {
+                            feed.scrollTop = feed.scrollHeight;
+                        }
+                    }
+                } catch (e) {
+                    // Ignore non-JSON or other messages for now
                 }
-            });
+            };
+
+            ws.onclose = function() {
+                console.log("WebSocket closed, attempting to reconnect in 3s...");
+                setTimeout(setupWS, 3000);
+            };
         }
 
         // --- Start ---
         loadGraph();
         loadTasks();
-        setupSSE();
+        setupWS();
         
         // Listen to theme toggle changes to update graph font colors
         const observer = new MutationObserver(() => updateGraphData());