auto

Dockerfile

@@ -1,39 +0,0 @@
-FROM node:18-slim
-
-# Install Python3, pip
-RUN apt-get update && apt-get install -y python3 python3-pip && rm -rf /var/lib/apt/lists/*
-
-WORKDIR /app
-
-# Install Python dependencies
-COPY requirements.txt .
-RUN pip3 install --no-cache-dir --break-system-packages -r requirements.txt
-
-# Global install Claude Code CLI
-RUN npm install -g @anthropic-ai/claude-code
-
-# Copy web app files only (solver files are fetched from GitHub at runtime)
-COPY app.py solver.py /app/
-COPY static/ /app/static/
-
-# Create workspaces directory
-RUN mkdir -p /app/workspaces
-
-# Create non-root user (claude CLI refuses to run as root)
-RUN useradd -m -s /bin/bash solver
-RUN mkdir -p /home/solver/.claude
-COPY settings.json /home/solver/.claude/settings.json
-RUN chown -R solver:solver /home/solver/.claude
-RUN chown -R solver:solver /app
-
-EXPOSE 7860
-
-USER solver
-ENV HOME=/home/solver
-ENV PATH="/usr/local/lib/node_modules/.bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin"
-ENV PYTHONUNBUFFERED=1
-
-# Default: fetch solver files from this GitHub repo at startup
-ENV SOLVER_REPO_URL="https://github.com/Usami-Mira/CC_Integrater/raw/refs/heads/main/"
-
-CMD ["python3", "/app/app.py"]

README.md

@@ -1,10 +0,0 @@
----
-title: Cc Solver
-emoji: 😻
-colorFrom: yellow
-colorTo: green
-sdk: docker
-pinned: false
----
-
-Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference

requirements.txt

@@ -1 +0,0 @@
-Flask==2.3.3

settings.json

@@ -1,3 +0,0 @@
-{
-  "apiKeyHelper": "echo $ANTHROPIC_API_KEY"
-}

solver.py

@@ -1,418 +0,0 @@
-#!/usr/bin/env python3
-"""Background task manager for the physics solver."""
-
-import os
-import sys
-import json
-import time
-import shutil
-import subprocess
-import threading
-import urllib.request
-from datetime import datetime, timezone
-
-# Solver source location
-SOLVER_SRC = "/app/solver"
-WORKSPACE_BASE = os.path.join(os.path.dirname(os.path.abspath(__file__)), "workspaces")
-# Files that come from the repo — excluded from downloads
-SOLVER_SOURCE_FILES = {"run.py", "spawn.py", "outline.md"}
-DEFAULT_SOLVER_URL = os.environ.get(
-    "SOLVER_REPO_URL",
-    "https://github.com/Usami-Mira/CC_Integrater/raw/refs/heads/main/",
-)
-
-tasks = {}
-tasks_lock = threading.Lock()
-
-
-def _log(task_id, msg):
-    """Append a line to the task's log file AND print to stdout."""
-    task = tasks.get(task_id)
-    log_path = None
-    if task:
-        log_path = os.path.join(task["workspace"], "solver.log")
-    if log_path:
-        try:
-            with open(log_path, "a", encoding="utf-8") as f:
-                f.write(f"[{_now()}] {msg}\n")
-        except Exception:
-            pass
-    print(f"[{task_id}] {msg}", flush=True)
-
-
-def _now():
-    return datetime.now(timezone.utc).isoformat()
-
-
-def fetch_solver_files(repo_url):
-    """Download solver files from GitHub raw URL into /app/solver/."""
-    os.makedirs(SOLVER_SRC, exist_ok=True)
-    for name in ("run.py", "spawn.py", "outline.md", "config.json"):
-        p = os.path.join(SOLVER_SRC, name)
-        if os.path.exists(p):
-            os.remove(p)
-
-    print(f"[INIT] Fetching solver files from: {repo_url}", flush=True)
-    files = ["run.py", "spawn.py", "outline.md", "config.json"]
-    downloaded = []
-    errors = []
-    for name in files:
-        url = f"{repo_url.rstrip('/')}/{name}"
-        try:
-            with urllib.request.urlopen(url, timeout=30) as resp:
-                data = resp.read()
-                with open(os.path.join(SOLVER_SRC, name), "wb") as f:
-                    f.write(data)
-                downloaded.append(name)
-                print(f"[INIT] Downloaded {name}", flush=True)
-        except Exception as e:
-            errors.append(f"{name}: {e}")
-            print(f"[INIT] Failed to download {name}: {e}", flush=True)
-
-    if not downloaded:
-        print(f"[INIT] CRITICAL: No solver files downloaded. Errors: {errors}", flush=True)
-        return False
-    if errors:
-        print(f"[INIT] Partial download. Missing: {errors}", flush=True)
-    return True
-
-
-def active_count():
-    """Caller must hold tasks_lock."""
-    return sum(1 for t in tasks.values() if t["status"] in ("pending", "running"))
-
-
-def submit_task(problem_text, name=None, config_override=None):
-    """Create a new task, return task_id."""
-    print("[SUBMIT] submit_task() called", flush=True)
-    try:
-        task_id = f"task-{int(time.time()*1000)}"
-        workspace = os.path.join(WORKSPACE_BASE, task_id)
-        print(f"[SUBMIT] Creating workspace: {workspace}", flush=True)
-        os.makedirs(workspace, exist_ok=True)
-
-        # Write problem
-        with open(os.path.join(workspace, "problem.md"), "w", encoding="utf-8") as f:
-            f.write(problem_text)
-        print(f"[SUBMIT] Wrote problem.md", flush=True)
-
-        # Copy solver source into workspace
-        copied = []
-        for fname in ("run.py", "spawn.py", "outline.md", "config.json"):
-            src = os.path.join(SOLVER_SRC, fname)
-            exists = os.path.exists(src)
-            print(f"[SUBMIT]   {fname}: exists={exists} at {src}", flush=True)
-            if exists:
-                shutil.copy2(src, os.path.join(workspace, fname))
-                copied.append(fname)
-        print(f"[SUBMIT] Copied: {copied}", flush=True)
-
-        # Apply config override if provided
-        if config_override:
-            config_path = os.path.join(workspace, "config.json")
-            if os.path.exists(config_path):
-                with open(config_path, "r", encoding="utf-8") as f:
-                    current = json.load(f)
-                current.update(config_override)
-                with open(config_path, "w", encoding="utf-8") as f:
-                    json.dump(current, f, indent=2, ensure_ascii=False)
-                print(f"[SUBMIT] Applied config override: {list(config_override.keys())}", flush=True)
-            else:
-                with open(config_path, "w", encoding="utf-8") as f:
-                    json.dump(config_override, f, indent=2, ensure_ascii=False)
-                print(f"[SUBMIT] Created config from override", flush=True)
-
-        task = {
-            "task_id": task_id,
-            "name": name or f"Problem {len(tasks)+1}",
-            "status": "pending",
-            "phase": "waiting",
-            "workspace": workspace,
-            "problem_preview": problem_text[:120],
-            "problem_length": len(problem_text),
-            "created_at": _now(),
-            "started_at": None,
-            "finished_at": None,
-            "error": None,
-        }
-        with tasks_lock:
-            tasks[task_id] = task
-        print(f"[SUBMIT] Task registered in memory", flush=True)
-
-        # Create log file
-        log_path = os.path.join(workspace, "solver.log")
-        with open(log_path, "w", encoding="utf-8") as f:
-            f.write(f"[{_now()}] Task {task_id} created\n")
-
-        print(f"[SUBMIT] Created task {task_id} -> {workspace}", flush=True)
-
-        # Spawn background thread — run.py manages its own timeout & concurrency
-        t = threading.Thread(target=_run_solver, args=(task_id, workspace), daemon=True)
-        t.start()
-        print(f"[SUBMIT] Thread started", flush=True)
-        return task_id
-    except Exception as e:
-        import traceback
-        tb = traceback.format_exc()
-        print(f"[SUBMIT] ERROR: {e}", flush=True)
-        print(f"[SUBMIT] Traceback:\n{tb}", flush=True)
-        raise
-
-
-def _run_solver(task_id, workspace):
-    print(f"[{task_id}] _run_solver thread started", flush=True)
-    with tasks_lock:
-        tasks[task_id].update({"status": "running", "started_at": _now()})
-
-    _log(task_id, f"Starting solver in {workspace}")
-    _log(task_id, f"ANTHROPIC_API_KEY: {'set' if os.environ.get('ANTHROPIC_API_KEY') else 'NOT SET'}")
-    _log(task_id, f"ANTHROPIC_BASE_URL: {os.environ.get('ANTHROPIC_BASE_URL', '(default)')}")
-
-    env = os.environ.copy()
-    start = time.time()
-    proc = None
-
-    try:
-        cmd = [sys.executable, os.path.join(workspace, "run.py"), workspace]
-        print(f"[{task_id}] Running: {' '.join(cmd)}", flush=True)
-
-        proc = subprocess.Popen(
-            cmd,
-            stdout=subprocess.PIPE,
-            stderr=subprocess.STDOUT,
-            cwd=workspace,
-            env=env,
-        )
-        _log(task_id, f"spawned run.py with PID {proc.pid}")
-
-        # Read stdout line by line, append to log
-        def _read_output():
-            if proc.stdout:
-                for line in iter(proc.stdout.readline, b""):
-                    decoded = line.decode("utf-8", errors="replace").strip()
-                    if decoded:
-                        _log(task_id, f"[stdout] {decoded}")
-
-        reader = threading.Thread(target=_read_output, daemon=True)
-        reader.start()
-
-        # Monitor workspace for progress (no timeout — run.py handles its own)
-        last_phase = "starting"
-        while proc.poll() is None:
-            phase = _infer_phase(workspace)
-            if phase != last_phase:
-                _log(task_id, f"Phase: {phase}")
-                last_phase = phase
-
-            with tasks_lock:
-                tasks[task_id]["phase"] = phase
-                tasks[task_id]["elapsed_s"] = round(time.time() - start)
-
-            time.sleep(2)
-
-        reader.join(timeout=3)
-        _log(task_id, f"run.py exited with code {proc.returncode}")
-
-        if proc.returncode != 0:
-            _log(task_id, "Solver returned non-zero exit code")
-            with tasks_lock:
-                tasks[task_id].update({
-                    "status": "error",
-                    "error": f"Solver exited with code {proc.returncode}",
-                    "finished_at": _now(),
-                })
-            return
-
-        summary = os.path.join(workspace, "final_summary.md")
-        if os.path.exists(summary):
-            _log(task_id, "Solver completed successfully")
-            with tasks_lock:
-                tasks[task_id].update({
-                    "status": "complete",
-                    "phase": "complete",
-                    "finished_at": _now(),
-                })
-        else:
-            _log(task_id, "Solver finished but no summary file found")
-            with tasks_lock:
-                tasks[task_id].update({
-                    "status": "error",
-                    "error": "Solver finished but no summary file was produced.",
-                    "finished_at": _now(),
-                })
-
-    except FileNotFoundError:
-        _log(task_id, f"FileNotFoundError: run.py not found")
-        with tasks_lock:
-            tasks[task_id].update({
-                "status": "error",
-                "error": "run.py not found in workspace.",
-                "finished_at": _now(),
-            })
-    except Exception as e:
-        import traceback
-        tb = traceback.format_exc()
-        _log(task_id, f"Exception: {e}")
-        _log(task_id, tb)
-        print(f"[{task_id}] Traceback:\n{tb}", flush=True)
-        with tasks_lock:
-            tasks[task_id].update({
-                "status": "error",
-                "error": str(e),
-                "finished_at": _now(),
-            })
-
-
-# Known solver workflow steps in execution order. Unknown files append at end alphabetically.
-WORKFLOW_STEPS = ["plan", "solution", "review", "final_summary"]
-# Files to exclude from progress tracking
-PROGRESS_EXCLUDES = {"problem.md", "solver.log", "outline.md"}
-
-
-def _check_files(workspace):
-    """Return list of completed steps based on workspace .md files (excluding problem.md)."""
-    if not os.path.isdir(workspace):
-        return []
-    found = set()
-    for fname in os.listdir(workspace):
-        if fname.endswith(".md") and fname not in PROGRESS_EXCLUDES:
-            found.add(fname[:-3])  # strip .md
-    # Sort: known steps in workflow order, then unknown files alphabetically
-    done = [s for s in WORKFLOW_STEPS if s in found]
-    done.extend(sorted(found - set(WORKFLOW_STEPS)))
-    return done
-
-
-def _infer_phase(workspace):
-    if os.path.exists(os.path.join(workspace, "final_summary.md")):
-        return "complete"
-    if os.path.exists(os.path.join(workspace, "review.md")):
-        return "evaluating"
-    if os.path.exists(os.path.join(workspace, "solution.md")):
-        return "building"
-    if os.path.exists(os.path.join(workspace, "plan.md")):
-        return "planning"
-    return "starting"
-
-
-def get_task(task_id):
-    with tasks_lock:
-        task = tasks.get(task_id)
-        if task:
-            result = dict(task)
-            result.pop("problem_preview", None)
-            result["files_done"] = _check_files(task["workspace"])
-            return result
-        return None
-
-
-def get_task_result(task_id):
-    task = get_task(task_id)
-    if not task:
-        return None
-    summary = os.path.join(task.get("workspace", ""), "final_summary.md")
-    if os.path.exists(summary):
-        with open(summary, encoding="utf-8") as f:
-            return f.read()
-    return None
-
-
-def get_task_logs(task_id, lines=100):
-    task = tasks.get(task_id)
-    if not task:
-        return [f"Task {task_id} not found in memory."]
-    log_path = os.path.join(task["workspace"], "solver.log")
-    if not os.path.exists(log_path):
-        return ["Waiting for solver to start..."]
-    try:
-        with open(log_path, encoding="utf-8") as f:
-            all_lines = f.readlines()
-            return [l.rstrip() for l in all_lines[-lines:]]
-    except Exception as e:
-        return [f"Error reading log: {e}"]
-
-
-def get_running_tasks():
-    """Return list of currently running tasks (for frontend recovery after page refresh)."""
-    with tasks_lock:
-        return [
-            {
-                "task_id": t["task_id"],
-                "status": t["status"],
-                "phase": t["phase"],
-                "problem": t["problem"],
-                "created_at": t["created_at"],
-                "files_done": _check_files(t["workspace"]),
-            }
-            for t in tasks.values()
-            if t["status"] in ("pending", "running")
-        ]
-
-
-def list_tasks():
-    with tasks_lock:
-        return [
-            {
-                "task_id": t["task_id"],
-                "name": t["name"],
-                "status": t["status"],
-                "phase": t["phase"],
-                "problem_preview": t.get("problem_preview", ""),
-                "problem_length": t.get("problem_length", 0),
-                "created_at": t["created_at"],
-                "started_at": t.get("started_at"),
-                "finished_at": t.get("finished_at"),
-                "files_done": _check_files(t["workspace"]),
-                "error": t.get("error"),
-            }
-            for t in sorted(tasks.values(), key=lambda x: x["created_at"], reverse=True)
-        ]
-
-
-def delete_task(task_id):
-    """Remove a task from memory and delete its workspace. Returns True if found."""
-    with tasks_lock:
-        task = tasks.pop(task_id, None)
-        if not task:
-            return False
-    workspace = task.get("workspace", "")
-    if os.path.isdir(workspace):
-        shutil.rmtree(workspace)
-    _log(task_id, f"Task {task_id} deleted")
-    return True
-
-
-def cleanup_completed_tasks():
-    """Delete all completed and errored tasks. Returns count of deleted tasks."""
-    with tasks_lock:
-        to_delete = [
-            tid for tid, t in tasks.items()
-            if t["status"] in ("complete", "error")
-        ]
-    count = 0
-    for tid in to_delete:
-        if delete_task(tid):
-            count += 1
-    return count
-
-
-def update_task_config(task_id, config_dict):
-    """Update config.json in a task's workspace. Only allowed for pending tasks."""
-    with tasks_lock:
-        task = tasks.get(task_id)
-        if not task:
-            return None, "Task not found"
-        if task["status"] != "pending":
-            return None, f"Cannot update config for task in '{task['status']}' status (only 'pending')"
-    config_path = os.path.join(task["workspace"], "config.json")
-    try:
-        with open(config_path, "r", encoding="utf-8") as f:
-            current = json.load(f)
-        current.update(config_dict)
-        with open(config_path, "w", encoding="utf-8") as f:
-            json.dump(current, f, indent=2, ensure_ascii=False)
-        return current, None
-    except FileNotFoundError:
-        return None, "config.json not found in workspace"
-    except json.JSONDecodeError:
-        return None, "Invalid config.json in workspace"

static/solver.html

@@ -1,522 +0,0 @@
-<!DOCTYPE html>
-<html lang="zh-CN">
-<head>
-  <meta charset="UTF-8">
-  <meta name="viewport" content="width=device-width, initial-scale=1.0">
-  <title>CC Solver</title>
-  <script src="https://cdn.jsdelivr.net/npm/marked/marked.min.js"></script>
-  <style>
-    * { box-sizing: border-box; margin: 0; padding: 0; }
-    body { font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif; background: #f0f2f5; color: #333; min-height: 100vh; }
-    .container { max-width: 960px; margin: 0 auto; padding: 20px; }
-    h1 { text-align: center; padding: 20px 0 6px; color: #1a1a2e; font-size: 1.8em; }
-    .subtitle { text-align: center; color: #666; margin-bottom: 24px; font-size: 0.9em; }
-
-    .card { background: #fff; border-radius: 12px; box-shadow: 0 2px 8px rgba(0,0,0,0.08); padding: 24px; margin-bottom: 20px; }
-    .card-title { font-size: 0.95em; font-weight: 700; color: #1a1a2e; margin-bottom: 12px; }
-
-    /* Input area */
-    .input-mode-toggle { display: flex; gap: 0; margin-bottom: 12px; background: #f0f0f0; border-radius: 8px; overflow: hidden; }
-    .input-mode-toggle button { flex: 1; padding: 8px 16px; border: none; cursor: pointer; font-size: 13px; font-weight: 600; background: #f0f0f0; color: #666; transition: all 0.15s; }
-    .input-mode-toggle button.active { background: #4361ee; color: #fff; }
-
-    textarea { width: 100%; min-height: 150px; border: 1px solid #ddd; border-radius: 8px; padding: 12px; font-size: 14px; font-family: inherit; resize: vertical; line-height: 1.6; }
-    textarea:focus { outline: none; border-color: #4361ee; box-shadow: 0 0 0 3px rgba(67,97,238,0.15); }
-
-    .file-drop { border: 2px dashed #ccc; border-radius: 8px; padding: 32px 16px; text-align: center; color: #999; cursor: pointer; transition: border-color 0.2s, background 0.2s; }
-    .file-drop:hover, .file-drop.dragover { border-color: #4361ee; background: #f5f7ff; }
-    .file-drop input[type="file"] { display: none; }
-    .file-list { margin-top: 8px; font-size: 13px; }
-    .file-list .file-item { display: flex; justify-content: space-between; padding: 4px 0; }
-    .file-list .file-item .remove { color: #e74c3c; cursor: pointer; font-weight: 700; }
-
-    .btn-row { display: flex; gap: 12px; margin-top: 12px; }
-    .btn { padding: 10px 28px; border: none; border-radius: 8px; font-size: 15px; cursor: pointer; font-weight: 600; transition: all 0.15s; }
-    .btn-primary { background: #4361ee; color: #fff; }
-    .btn-primary:hover:not(:disabled) { background: #3a56d4; }
-    .btn-primary:disabled { background: #a0b0f0; cursor: not-allowed; }
-    .btn-secondary { background: #e8e8e8; color: #333; }
-    .btn-secondary:hover { background: #d8d8d8; }
-    .btn-download { background: #2ecc71; color: #fff; padding: 6px 14px; font-size: 12px; border-radius: 6px; text-decoration: none; }
-    .btn-download:hover { background: #27ae60; }
-
-    /* Config */
-    .config-row { display: flex; gap: 8px; margin-bottom: 8px; align-items: center; }
-    .config-row label { font-size: 13px; color: #666; min-width: 90px; }
-    .config-row input { flex: 1; padding: 6px 10px; border: 1px solid #ddd; border-radius: 6px; font-size: 13px; font-family: monospace; }
-    .config-row button { padding: 6px 14px; border: none; border-radius: 6px; background: #4361ee; color: #fff; font-size: 12px; cursor: pointer; white-space: nowrap; }
-
-    /* Task list */
-    .task-list { max-height: 400px; overflow-y: auto; }
-    .task-item { display: flex; justify-content: space-between; align-items: center; padding: 10px 0; border-bottom: 1px solid #f0f0f0; gap: 8px; }
-    .task-item:last-child { border-bottom: none; }
-    .task-name { font-weight: 600; font-size: 14px; }
-    .task-preview { font-size: 12px; color: #888; max-width: 300px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
-    .task-meta { display: flex; align-items: center; gap: 8px; }
-    .task-delete { cursor: pointer; font-size: 14px; color: #ccc; font-weight: 700; transition: color 0.15s; }
-    .task-delete:hover { color: #e74c3c; }
-    .badge { font-size: 11px; padding: 2px 8px; border-radius: 10px; font-weight: 600; }
-    .badge-pending { background: #fff3cd; color: #856404; }
-    .badge-running { background: #cce5ff; color: #004085; }
-    .badge-complete { background: #d4edda; color: #155724; }
-    .badge-error { background: #f8d7da; color: #721c24; }
-
-    /* Modal */
-    .modal-overlay { display: none; position: fixed; inset: 0; background: rgba(0,0,0,0.4); z-index: 100; align-items: center; justify-content: center; }
-    .modal-overlay.visible { display: flex; }
-    .modal { background: #fff; border-radius: 12px; max-width: 800px; width: 90%; max-height: 80vh; overflow-y: auto; padding: 24px; }
-    .modal h2 { font-size: 1.1em; margin-bottom: 12px; }
-    .modal .result-content { line-height: 1.7; }
-    .modal .result-content table { border-collapse: collapse; width: 100%; margin: 12px 0; }
-    .modal .result-content th, .modal .result-content td { border: 1px solid #ddd; padding: 8px 12px; text-align: left; }
-    .modal .result-content th { background: #f5f5f5; }
-    .modal .result-content pre { background: #f8f8f8; padding: 12px; border-radius: 6px; overflow-x: auto; font-size: 13px; }
-    .modal .result-content code { background: #f0f0f0; padding: 1px 4px; border-radius: 3px; font-size: 13px; }
-    .modal .result-content pre code { background: none; padding: 0; }
-    .modal .result-content blockquote { border-left: 3px solid #4361ee; padding-left: 12px; color: #555; margin: 8px 0; }
-    .modal .log-console { background: #1e1e2e; color: #cdd6f4; border-radius: 8px; padding: 12px; max-height: 200px; overflow-y: auto; font-family: monospace; font-size: 12px; line-height: 1.5; white-space: pre-wrap; word-break: break-all; }
-
-    .error-msg { background: #f8d7da; color: #721c24; padding: 10px; border-radius: 8px; margin-top: 8px; display: none; font-size: 13px; }
-    .error-msg.visible { display: block; }
-
-    /* Per-task progress */
-    .task-files { display: flex; gap: 4px; margin-top: 4px; }
-    .task-file-step { font-size: 10px; padding: 1px 6px; border-radius: 4px; background: #e8e8e8; color: #999; }
-    .task-file-step.done { background: #d4edda; color: #155724; font-weight: 600; }
-    .task-file-step.current { background: #cce5ff; color: #004085; font-weight: 600; animation: pulse 1.5s infinite; }
-  </style>
-</head>
-<body>
-  <div class="container">
-    <h1>CC Solver</h1>
-    <p class="subtitle">Multi-agent physics problem solver</p>
-
-    <!-- Config -->
-    <div class="card">
-      <div class="card-title">Solver Config</div>
-      <div class="config-row">
-        <label>Repo URL</label>
-        <input type="text" id="solver-url" placeholder="https://github.com/Usami-Mira/CC_Integrater/raw/refs/heads/main/">
-        <button onclick="updateConfig()">Update</button>
-      </div>
-      <div class="config-row">
-        <label>Token</label>
-        <input type="password" id="solver-token" placeholder="Enter password">
-      </div>
-      <p style="font-size:12px;color:#888;margin-top:8px;">Model 和 timeout 由仓库 config.json 控制。</p>
-    </div>
-
-    <!-- Input -->
-    <div class="card">
-      <div class="card-title">New Task</div>
-      <div class="input-mode-toggle">
-        <button id="mode-text" class="active" onclick="setInputMode('text')">Text Input</button>
-        <button id="mode-file" onclick="setInputMode('file')">Upload Files</button>
-      </div>
-
-      <!-- Config override -->
-      <details style="margin-bottom:12px;">
-        <summary style="cursor:pointer;font-size:13px;font-weight:600;color:#666;">Custom Config (config.json)</summary>
-        <textarea id="config-input" placeholder='{"wallClock": 86400, "maxTurns": 100}' style="min-height:80px;margin-top:8px;font-family:monospace;font-size:13px;"></textarea>
-      </details>
-
-      <div id="input-text-area">
-        <textarea id="problem-input" placeholder="Paste your physics problem here..."></textarea>
-        <div class="btn-row">
-          <button class="btn btn-primary" id="submit-btn" onclick="submitText()">Solve</button>
-        </div>
-      </div>
-
-      <div id="input-file-area" style="display:none;">
-        <div class="file-drop" id="file-drop" onclick="document.getElementById('file-input').click()">
-          <p>Click or drag <strong>.md</strong> files here</p>
-          <input type="file" id="file-input" accept=".md" multiple>
-        </div>
-        <div class="file-list" id="file-list"></div>
-        <div class="btn-row">
-          <button class="btn btn-primary" id="submit-files-btn" onclick="submitFiles()">Solve All</button>
-        </div>
-      </div>
-
-      <div class="error-msg" id="error-msg"></div>
-    </div>
-
-    <!-- Tasks -->
-    <div class="card">
-      <div style="display:flex;justify-content:space-between;align-items:center;margin-bottom:12px;">
-        <div class="card-title" style="margin-bottom:0;">Tasks</div>
-        <div>
-          <a class="btn-download" id="cleanup-btn" style="display:none;margin-right:8px;cursor:pointer;" onclick="cleanupTasks()">Clear Done</a>
-          <a class="btn-download" id="download-all-btn" style="display:none;" onclick="downloadAll()">Download All</a>
-        </div>
-      </div>
-      <div class="task-list" id="task-list">
-        <p style="color:#999;font-size:13px;">No tasks yet.</p>
-      </div>
-    </div>
-  </div>
-
-  <!-- Task detail modal -->
-  <div class="modal-overlay" id="modal-overlay" onclick="closeModal(event)">
-    <div class="modal" id="modal-content">
-      <div style="display:flex;justify-content:space-between;align-items:center;margin-bottom:12px;">
-        <h2 id="modal-title" style="margin-bottom:0;">Task Detail</h2>
-        <div>
-          <a class="btn-download" id="modal-download" style="display:none;margin-right:8px;" onclick="">Download</a>
-          <button class="btn btn-secondary" onclick="closeModalDirect()" style="padding:6px 14px;font-size:12px;">Close</button>
-        </div>
-      </div>
-      <div id="modal-body"></div>
-    </div>
-  </div>
-
-  <script>
-    let inputMode = 'text';
-    let pendingFiles = [];
-    let pollTimers = {};
-
-    function getToken() {
-      const val = document.getElementById('solver-token').value.trim();
-      return val;
-    }
-
-    function getConfigOverride() {
-      const val = document.getElementById('config-input').value.trim();
-      if (!val) return null;
-      try { return JSON.parse(val); }
-      catch (e) { showError('Invalid config JSON: ' + e.message); return null; }
-    }
-
-    function api(url, opts = {}) {
-      const token = getToken();
-      const separator = url.includes('?') ? '&' : '?';
-      const sep = token ? `${separator}token=${encodeURIComponent(token)}` : '';
-      return fetch(url + sep, opts);
-    }
-
-    function setInputMode(mode) {
-      inputMode = mode;
-      document.getElementById('mode-text').classList.toggle('active', mode === 'text');
-      document.getElementById('mode-file').classList.toggle('active', mode === 'file');
-      document.getElementById('input-text-area').style.display = mode === 'text' ? 'block' : 'none';
-      document.getElementById('input-file-area').style.display = mode === 'file' ? 'block' : 'none';
-    }
-
-    // File handling
-    const fileInput = document.getElementById('file-input');
-    const fileDrop = document.getElementById('file-drop');
-
-    fileInput.addEventListener('change', (e) => addFiles(e.target.files));
-
-    fileDrop.addEventListener('dragover', (e) => { e.preventDefault(); fileDrop.classList.add('dragover'); });
-    fileDrop.addEventListener('dragleave', () => fileDrop.classList.remove('dragover'));
-    fileDrop.addEventListener('drop', (e) => { e.preventDefault(); fileDrop.classList.remove('dragover'); addFiles(e.dataTransfer.files); });
-
-    function addFiles(files) {
-      for (const f of files) {
-        if (f.name.endsWith('.md') && !pendingFiles.find(x => x.name === f.name)) {
-          pendingFiles.push(f);
-        }
-      }
-      renderFileList();
-    }
-
-    function removeFile(idx) {
-      pendingFiles.splice(idx, 1);
-      renderFileList();
-    }
-
-    function renderFileList() {
-      const el = document.getElementById('file-list');
-      if (pendingFiles.length === 0) { el.innerHTML = ''; return; }
-      el.innerHTML = pendingFiles.map((f, i) =>
-        `<div class="file-item"><span>${f.name} (${(f.size/1024).toFixed(1)} KB)</span><span class="remove" onclick="removeFile(${i})">×</span></div>`
-      ).join('');
-    }
-
-    function showError(msg) {
-      const el = document.getElementById('error-msg');
-      el.textContent = msg;
-      el.classList.add('visible');
-      setTimeout(() => el.classList.remove('visible'), 5000);
-    }
-
-    function hideError() { document.getElementById('error-msg').classList.remove('visible'); }
-
-    // Submit text problem
-    async function submitText() {
-      const text = document.getElementById('problem-input').value.trim();
-      if (!text) return;
-      hideError();
-      try {
-        const body = { problem: text };
-        const cfg = getConfigOverride();
-        if (cfg) body.config = cfg;
-        const resp = await api('/api/submit', {
-          method: 'POST',
-          headers: {'Content-Type': 'application/json'},
-          body: JSON.stringify(body)
-        });
-        const data = await resp.json();
-        if (data.error) { showError(data.error); return; }
-        document.getElementById('problem-input').value = '';
-        loadTasks();
-      } catch (e) { showError('Network error: ' + e.message); }
-    }
-
-    // Submit files
-    async function submitFiles() {
-      if (pendingFiles.length === 0) { showError('No files selected'); return; }
-      hideError();
-      const fd = new FormData();
-      pendingFiles.forEach(f => fd.append('files', f));
-      const cfg = getConfigOverride();
-      if (cfg) fd.append('config', JSON.stringify(cfg));
-      try {
-        const token = getToken();
-        const resp = await api('/api/submit-file', { method: 'POST', body: fd });
-        const data = await resp.json();
-        if (data.error) { showError(data.error); return; }
-        pendingFiles = [];
-        renderFileList();
-        fileInput.value = '';
-        loadTasks();
-      } catch (e) { showError('Network error: ' + e.message); }
-    }
-
-    const DEFAULT_URL = 'https://github.com/Usami-Mira/CC_Integrater/raw/refs/heads/main/';
-
-    // Load config
-    const savedUrl = localStorage.getItem('solver_url');
-    document.getElementById('solver-url').value = savedUrl || DEFAULT_URL;
-    api('/api/config')
-      .then(r => r.json())
-      .then(data => {
-        if (data.solver_url) {
-          document.getElementById('solver-url').value = data.solver_url;
-          localStorage.setItem('solver_url', data.solver_url);
-        }
-      })
-      .catch(() => {});
-
-    // Load saved token
-    const savedToken = localStorage.getItem('solver_token');
-    if (savedToken) {
-      document.getElementById('solver-token').value = savedToken;
-    }
-    document.getElementById('solver-token').addEventListener('change', (e) => {
-      localStorage.setItem('solver_token', e.target.value);
-    });
-
-    async function updateConfig() {
-      const url = document.getElementById('solver-url').value.trim();
-      if (!url) return;
-      localStorage.setItem('solver_url', url);
-      const btn = document.querySelector('.config-row button');
-      btn.textContent = 'Fetching...';
-      btn.disabled = true;
-      try {
-        const resp = await api('/api/config', {
-          method: 'POST',
-          headers: {'Content-Type': 'application/json'},
-          body: JSON.stringify({solver_url: url})
-        });
-        const data = await resp.json();
-        if (data.status === 'ok') {
-          alert('Solver files updated successfully!');
-        } else {
-          alert('Update failed: ' + (data.error || 'unknown'));
-        }
-      } catch (e) { alert('Network error'); }
-      btn.textContent = 'Update';
-      btn.disabled = false;
-    }
-
-    // Task list
-    function renderTaskProgress(filesDone, status) {
-      const steps = filesDone.map(f =>
-        `<span class="task-file-step done">${f}</span>`
-      );
-      if (status === 'running' || status === 'pending') {
-        steps.push(`<span class="task-file-step current">running…</span>`);
-      }
-      return steps.join('');
-    }
-
-    async function loadTasks() {
-      try {
-        const resp = await api('/api/tasks');
-        const data = await resp.json();
-        const el = document.getElementById('task-list');
-        const downloadAll = document.getElementById('download-all-btn');
-
-        if (!data.tasks || data.tasks.length === 0) {
-          el.innerHTML = '<p style="color:#999;font-size:13px;">No tasks yet.</p>';
-          downloadAll.style.display = 'none';
-          document.getElementById('cleanup-btn').style.display = 'none';
-          return;
-        }
-
-        const hasComplete = data.tasks.some(t => t.status === 'complete');
-        downloadAll.style.display = hasComplete ? 'inline-block' : 'none';
-        const hasCleanup = data.tasks.some(t => t.status === 'complete' || t.status === 'error');
-        document.getElementById('cleanup-btn').style.display = hasCleanup ? 'inline-block' : 'none';
-
-        const token = getToken();
-        const tokenSep = token ? `?token=${encodeURIComponent(token)}&` : '?';
-
-        el.innerHTML = data.tasks.map(t => {
-          const badgeClass = 'badge-' + t.status;
-          const progressHtml = renderTaskProgress(t.files_done || [], t.status);
-          const deleteBtn = t.status !== 'running'
-            ? `<span class="task-delete" onclick="event.stopPropagation();deleteTask('${t.task_id}')" title="Delete">✕</span>`
-            : '';
-          return `<div class="task-item" onclick="openTask('${t.task_id}')">
-            <div style="flex:1;min-width:0;">
-              <div class="task-name">${t.name || t.task_id}</div>
-              <div class="task-preview">${t.problem_preview || ''}</div>
-              <div class="task-files">${progressHtml}</div>
-            </div>
-            <div class="task-meta">
-              <span class="badge ${badgeClass}">${t.status}</span>
-              ${t.status === 'complete' ? `<a class="btn-download" href="/api/download/${t.task_id}${token ? '?token=' + encodeURIComponent(token) : ''}" onclick="event.stopPropagation()">↓ Download</a>` : ''}
-              ${deleteBtn}
-            </div>
-          </div>`;
-        }).join('');
-      } catch (e) {}
-    }
-
-    // Task detail modal
-    async function openTask(taskId) {
-      const overlay = document.getElementById('modal-overlay');
-      const body = document.getElementById('modal-body');
-      const title = document.getElementById('modal-title');
-      const downloadBtn = document.getElementById('modal-download');
-
-      title.textContent = 'Loading...';
-      downloadBtn.style.display = 'none';
-      body.innerHTML = '<p style="color:#888;">Loading task info...</p>';
-      overlay.classList.add('visible');
-
-      try {
-        const resp = await api('/api/status/' + taskId);
-        const t = await resp.json();
-        title.textContent = t.name || taskId;
-
-        const progressHtml = renderTaskProgress(t.files_done || [], t.status);
-
-        if (t.status === 'complete') {
-          const resResp = await api('/api/result/' + taskId);
-          const resData = await resResp.json();
-          if (resData.content) {
-            body.innerHTML = `<div class="task-files" style="margin-bottom:12px;">${progressHtml}</div><div class="result-content">${marked.parse(resData.content)}</div>`;
-          }
-          downloadBtn.href = `/api/download/${taskId}${token ? '?token=' + encodeURIComponent(token) : ''}`;
-          downloadBtn.style.display = 'inline-block';
-        } else if (t.status === 'error') {
-          body.innerHTML = `<div class="task-files" style="margin-bottom:12px;">${progressHtml}</div><div class="error-msg visible">${t.error || 'Task failed'}</div>`;
-        } else {
-          // Running/pending: show progress + logs
-          const logResp = await api('/api/logs/' + taskId + '?lines=50');
-          const logData = await logResp.json();
-          body.innerHTML = `<div class="task-files" style="margin-bottom:12px;">${progressHtml}</div><div class="log-console">${(logData.logs || []).map(l => escapeHtml(l)).join('\n')}</div>`;
-        }
-
-        // Start polling if running
-        if (t.status === 'running' || t.status === 'pending') {
-          startTaskPoll(taskId);
-        }
-      } catch (e) {
-        body.innerHTML = '<p style="color:#888;">Failed to load task.</p>';
-      }
-    }
-
-    function startTaskPoll(taskId) {
-      if (pollTimers[taskId]) clearInterval(pollTimers[taskId]);
-      pollTimers[taskId] = setInterval(async () => {
-        try {
-          const resp = await api('/api/status/' + taskId);
-          const t = await resp.json();
-          if (t.status === 'complete') {
-            clearInterval(pollTimers[taskId]);
-            delete pollTimers[taskId];
-            openTask(taskId); // Reload to show result
-            loadTasks();
-          } else if (t.status === 'error') {
-            clearInterval(pollTimers[taskId]);
-            delete pollTimers[taskId];
-            const progressHtml = renderTaskProgress(t.files_done || [], t.status);
-            document.getElementById('modal-body').innerHTML = `<div class="task-files" style="margin-bottom:12px;">${progressHtml}</div><div class="error-msg visible">${t.error || 'Task failed'}</div>`;
-            loadTasks();
-          } else {
-            // Update progress and logs
-            const progressHtml = renderTaskProgress(t.files_done || [], t.status);
-            const body = document.getElementById('modal-body');
-            if (body) {
-              const existingLogs = body.querySelector('.log-console');
-              const logContent = existingLogs ? existingLogs.innerHTML : '';
-              body.innerHTML = `<div class="task-files" style="margin-bottom:12px;">${progressHtml}</div><div class="log-console">${logContent}</div>`;
-              const newConsole = body.querySelector('.log-console');
-              if (newConsole) newConsole.scrollTop = newConsole.scrollHeight;
-            }
-            const logResp = await api('/api/logs/' + taskId);
-            const logData = await logResp.json();
-            const consoleEl = document.querySelector('.log-console');
-            if (consoleEl && logData.logs) {
-              consoleEl.textContent = logData.logs.join('\n');
-              consoleEl.scrollTop = consoleEl.scrollHeight;
-            }
-          }
-        } catch (e) {}
-      }, 3000);
-    }
-
-    // Delete task
-    async function deleteTask(taskId) {
-      if (!confirm('Delete this task? This cannot be undone.')) return;
-      try {
-        const resp = await api(`/api/task/${taskId}`, { method: 'DELETE' });
-        const data = await resp.json();
-        if (data.error) { showError(data.error); return; }
-        loadTasks();
-      } catch (e) { showError('Network error: ' + e.message); }
-    }
-
-    // Cleanup completed/errored tasks
-    async function cleanupTasks() {
-      if (!confirm('Clear all completed and errored tasks? This cannot be undone.')) return;
-      try {
-        const resp = await api('/api/tasks/cleanup', { method: 'POST' });
-        const data = await resp.json();
-        loadTasks();
-      } catch (e) { showError('Network error: ' + e.message); }
-    }
-
-    function closeModal(e) {
-      if (e.target === document.getElementById('modal-overlay')) {
-        closeModalDirect();
-      }
-    }
-
-    function closeModalDirect() {
-      document.getElementById('modal-overlay').classList.remove('visible');
-      Object.values(pollTimers).forEach(t => clearInterval(t));
-      pollTimers = {};
-    }
-
-    function downloadAll() {
-      const token = getToken();
-      window.location.href = `/api/download-all${token ? '?token=' + encodeURIComponent(token) : ''}`;
-    }
-
-    function escapeHtml(s) {
-      return s.replace(/&/g,'&amp;').replace(/</g,'&lt;').replace(/>/g,'&gt;');
-    }
-
-    // Initial load
-    loadTasks();
-    setInterval(loadTasks, 5000);
-  </script>
-</body>
-</html>