@cephalization/math 0.2.0 → 0.3.1

package/README.md

@@ -24,20 +24,33 @@ curl -fsSL https://bun.sh/install | bash
 ```
 
 Why Bun?
+
 - This tool is written in TypeScript and uses Bun's native TypeScript execution (no compilation step)
 - The CLI uses a `#!/usr/bin/env bun` shebang for direct execution
-- Bun's speed makes the agent loop faster and more responsive
+
+
+**[OpenCode](https://opencode.ai) is required** to run this tool.
+
+```bash
+# Install OpenCode
+curl -fsSL https://opencode.ai/install | bash
+```
+
+Why OpenCode?
+
+- OpenCode provides a consistent and reliable interface for running the agent loop
+- It supports many models, is easy to use, and is free to use
 
 ## Installation
 
 ### From npm (recommended)
 
 ```bash
-# One-off usage (recommended)
-bunx @cephalization/math <command>
-
-# Global install
+# Global install (recommended)
 bun install -g @cephalization/math
+
+# One-off usage 
+bunx @cephalization/math <command>
 ```
 
 ### From source (for development)
@@ -94,6 +107,15 @@ Options:
 - `--max-iterations <n>` - Safety limit (default: 100)
 - `--pause <seconds>` - Pause between iterations (default: 3)
 
+Iteratively run the agent loop until all tasks are complete. Each iteration will:
+
+- Read the `TASKS.md` file to find the next task to complete
+- Invoke the agent with the `PROMPT.md` file and the `TASKS.md` file
+- The agent will complete the task and update the `TASKS.md` file
+- The agent will log its learnings to the `LEARNINGS.md` file
+- The agent will commit the changes to the repository
+- The agent will exit
+
 ### Check status
 
 ```bash
@@ -178,7 +200,7 @@ Signs accumulate over time, making the agent increasingly reliable.
 
 | Variable | Default | Description |
 |----------|---------|-------------|
-| `MODEL`  | `anthropic/claude-opus-4-20250514` | Model to use |
+| `MODEL`  | `anthropic/claude-opus-4-5` | Model to use |
 
 ## Credits
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cephalization/math",
-  "version": "0.2.0",
+  "version": "0.3.1",
   "author": "Tony Powell <powell.anthonyd@proton.me>",
   "access": "public",
   "repository": {
@@ -19,6 +19,8 @@
   "files": [
     "index.ts",
     "src/**/*.ts",
+    "src/**/*.tsx",
+    "src/**/*.html",
     "README.md"
   ],
   "scripts": {

package/src/ui/app.tsx

@@ -0,0 +1,329 @@
+/**
+ * React app for the Math Agent UI.
+ * Connects to WebSocket server and displays loop logs and agent output.
+ */
+
+import React, { useEffect, useState, useRef, useCallback } from "react";
+import { createRoot } from "react-dom/client";
+import type { BufferLogEntry, BufferAgentOutput } from "./buffer";
+import type { WebSocketMessage } from "./server";
+import type { LogCategory } from "../agent";
+
+/**
+ * Connection state for the WebSocket.
+ */
+type ConnectionState = "connecting" | "connected" | "disconnected";
+
+/**
+ * Reconnection interval in milliseconds.
+ */
+const RECONNECT_INTERVAL = 3000;
+
+/**
+ * Color mapping for log categories matching terminal colors.
+ */
+const categoryColors: Record<LogCategory, string> = {
+  info: "#60a5fa",    // blue
+  success: "#4ade80", // green
+  warning: "#facc15", // yellow
+  error: "#f87171",   // red
+};
+
+/**
+ * Main App component that displays loop status and agent output.
+ */
+function App() {
+  const [logs, setLogs] = useState<BufferLogEntry[]>([]);
+  const [output, setOutput] = useState<BufferAgentOutput[]>([]);
+  const [connectionState, setConnectionState] = useState<ConnectionState>("connecting");
+  const wsRef = useRef<WebSocket | null>(null);
+  const reconnectTimerRef = useRef<ReturnType<typeof setTimeout> | null>(null);
+  const logContainerRef = useRef<HTMLDivElement>(null);
+  const outputContainerRef = useRef<HTMLDivElement>(null);
+
+  // Auto-scroll to bottom when logs change
+  useEffect(() => {
+    if (logContainerRef.current) {
+      logContainerRef.current.scrollTop = logContainerRef.current.scrollHeight;
+    }
+  }, [logs]);
+
+  // Auto-scroll to bottom when output changes
+  useEffect(() => {
+    if (outputContainerRef.current) {
+      outputContainerRef.current.scrollTop = outputContainerRef.current.scrollHeight;
+    }
+  }, [output]);
+
+  /**
+   * Create a WebSocket connection and set up event handlers.
+   */
+  const connect = useCallback(() => {
+    // Clear any existing reconnect timer
+    if (reconnectTimerRef.current) {
+      clearTimeout(reconnectTimerRef.current);
+      reconnectTimerRef.current = null;
+    }
+
+    // Close existing connection if any
+    if (wsRef.current) {
+      wsRef.current.close();
+    }
+
+    setConnectionState("connecting");
+
+    const protocol = window.location.protocol === "https:" ? "wss:" : "ws:";
+    const wsUrl = `${protocol}//${window.location.host}/ws`;
+    const ws = new WebSocket(wsUrl);
+    wsRef.current = ws;
+
+    ws.onopen = () => {
+      setConnectionState("connected");
+    };
+
+    ws.onclose = () => {
+      setConnectionState("disconnected");
+      // Schedule reconnection attempt
+      reconnectTimerRef.current = setTimeout(() => {
+        connect();
+      }, RECONNECT_INTERVAL);
+    };
+
+    ws.onerror = () => {
+      // onclose will be called after onerror, so we don't need to handle reconnection here
+    };
+
+    ws.onmessage = (event) => {
+      const message: WebSocketMessage = JSON.parse(event.data);
+
+      switch (message.type) {
+        case "connected":
+          // Connection confirmed
+          break;
+        case "history":
+          // Full history received - replace existing state
+          setLogs(message.logs);
+          setOutput(message.output);
+          break;
+        case "log":
+          // New log entry
+          setLogs((prev) => [...prev, message.entry]);
+          break;
+        case "output":
+          // New agent output
+          setOutput((prev) => [...prev, message.entry]);
+          break;
+      }
+    };
+  }, []);
+
+  useEffect(() => {
+    connect();
+
+    return () => {
+      // Clean up on unmount
+      if (reconnectTimerRef.current) {
+        clearTimeout(reconnectTimerRef.current);
+      }
+      if (wsRef.current) {
+        wsRef.current.close();
+      }
+    };
+  }, [connect]);
+
+  /**
+   * Get the color for a log category.
+   */
+  const getCategoryColor = (category: LogCategory): string => {
+    return categoryColors[category] || "#e0e0e0";
+  };
+
+  /**
+   * Get the status display properties based on connection state.
+   */
+  const getStatusDisplay = () => {
+    switch (connectionState) {
+      case "connecting":
+        return { color: "#facc15", text: "Connecting..." }; // yellow
+      case "connected":
+        return { color: "#4ade80", text: "Connected" }; // green
+      case "disconnected":
+        return { color: "#f87171", text: "Disconnected" }; // red
+    }
+  };
+
+  const statusDisplay = getStatusDisplay();
+
+  return (
+    <div style={styles.container}>
+      {/* Disconnected banner */}
+      {connectionState === "disconnected" && (
+        <div style={styles.disconnectedBanner}>
+          Connection lost. Reconnecting...
+        </div>
+      )}
+
+      <header style={styles.header}>
+        <h1 style={styles.title}>Math Agent UI</h1>
+        <div style={styles.statusContainer}>
+          <span
+            style={{
+              ...styles.statusDot,
+              backgroundColor: statusDisplay.color,
+            }}
+          />
+          <span style={{ ...styles.statusText, color: statusDisplay.color }}>
+            {statusDisplay.text}
+          </span>
+        </div>
+      </header>
+
+      <div style={styles.content}>
+        <section style={styles.section}>
+          <h2 style={styles.sectionTitle}>Loop Status</h2>
+          <div ref={logContainerRef} style={styles.logContainer}>
+            {logs.length === 0 ? (
+              <p style={styles.empty}>No logs yet</p>
+            ) : (
+              logs.map((log, index) => (
+                <div key={index} style={styles.logEntry}>
+                  <span style={{ ...styles.timestamp, color: getCategoryColor(log.category) }}>
+                    {new Date(log.timestamp).toLocaleTimeString()}
+                  </span>
+                  <span style={{ ...styles.category, color: getCategoryColor(log.category) }}>
+                    [{log.category}]
+                  </span>
+                  <span style={styles.message}>{log.message}</span>
+                </div>
+              ))
+            )}
+          </div>
+        </section>
+
+        <section style={styles.section}>
+          <h2 style={styles.sectionTitle}>Agent Output</h2>
+          <div ref={outputContainerRef} style={styles.outputContainer}>
+            {output.length === 0 ? (
+              <p style={styles.empty}>No output yet</p>
+            ) : (
+              output.map((out, index) => (
+                <pre key={index} style={styles.outputEntry}>
+                  {out.text}
+                </pre>
+              ))
+            )}
+          </div>
+        </section>
+      </div>
+    </div>
+  );
+}
+
+/**
+ * Inline styles for the app components.
+ */
+const styles: Record<string, React.CSSProperties> = {
+  container: {
+    height: "100%",
+    display: "flex",
+    flexDirection: "column",
+    padding: "16px",
+  },
+  header: {
+    display: "flex",
+    justifyContent: "space-between",
+    alignItems: "center",
+    marginBottom: "16px",
+    paddingBottom: "16px",
+    borderBottom: "1px solid #333",
+  },
+  title: {
+    fontSize: "24px",
+    fontWeight: "bold",
+    margin: 0,
+  },
+  statusContainer: {
+    display: "flex",
+    alignItems: "center",
+    gap: "8px",
+  },
+  statusDot: {
+    width: "10px",
+    height: "10px",
+    borderRadius: "50%",
+  },
+  statusText: {
+    fontSize: "14px",
+  },
+  disconnectedBanner: {
+    backgroundColor: "#7f1d1d",
+    color: "#fecaca",
+    padding: "12px 16px",
+    marginBottom: "16px",
+    borderRadius: "8px",
+    textAlign: "center",
+    fontWeight: "500",
+  },
+  content: {
+    display: "flex",
+    flex: 1,
+    gap: "16px",
+    overflow: "hidden",
+  },
+  section: {
+    flex: 1,
+    display: "flex",
+    flexDirection: "column",
+    backgroundColor: "#252525",
+    borderRadius: "8px",
+    padding: "16px",
+    overflow: "hidden",
+  },
+  sectionTitle: {
+    fontSize: "18px",
+    fontWeight: "600",
+    marginBottom: "12px",
+    color: "#a0a0a0",
+  },
+  logContainer: {
+    flex: 1,
+    overflow: "auto",
+    fontFamily: "monospace",
+    fontSize: "13px",
+  },
+  outputContainer: {
+    flex: 1,
+    overflow: "auto",
+    fontFamily: "monospace",
+    fontSize: "13px",
+  },
+  logEntry: {
+    marginBottom: "4px",
+    lineHeight: "1.4",
+  },
+  timestamp: {
+    marginRight: "8px",
+  },
+  category: {
+    marginRight: "8px",
+    fontWeight: "bold",
+  },
+  message: {
+    color: "#e0e0e0",
+  },
+  outputEntry: {
+    margin: 0,
+    padding: "4px 0",
+    whiteSpace: "pre-wrap",
+    wordBreak: "break-word",
+    color: "#e0e0e0",
+  },
+  empty: {
+    color: "#666",
+    fontStyle: "italic",
+  },
+};
+
+// Mount the React app
+const root = createRoot(document.getElementById("root")!);
+root.render(<App />);

package/src/ui/index.html

@@ -0,0 +1,30 @@
+<!DOCTYPE html>
+<html lang="en">
+<head>
+  <meta charset="UTF-8">
+  <meta name="viewport" content="width=device-width, initial-scale=1.0">
+  <title>Math Agent UI</title>
+  <style>
+    * {
+      box-sizing: border-box;
+      margin: 0;
+      padding: 0;
+    }
+    
+    html, body, #root {
+      height: 100%;
+      width: 100%;
+    }
+    
+    body {
+      background-color: #1a1a1a;
+      color: #e0e0e0;
+      font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, Oxygen, Ubuntu, sans-serif;
+    }
+  </style>
+</head>
+<body>
+  <div id="root"></div>
+  <script type="module" src="./app.tsx"></script>
+</body>
+</html>