浏览器UI界面#

打开UI界面#

命令#

# Production — build frontend, open browser, serve on :8080
make open

# Production — build frontend, serve on :8080 (no browser)
make start

# Development — hot-reload Vite on :5173 + Python backend on :7860
make dev

# Or via the CLI directly (serves the last build)
eurekaclaw ui --open-browser

自定义端口

eurekaclaw ui --host 0.0.0.0 --port 8080 --open-browser

原理#

模式

前端

后端

URL

Production (make start)

预构建于 eurekaclaw/ui/static/

Python server + API

http://localhost:8080

Dev (make dev)

配备HMR的Vite dev服务器

Python API 在 :7860 端口; Vite 代理： /api/*

http://localhost:5173

前端构建（当需要更改React代码时）#

make build       # tsc + vite build → eurekaclaw/ui/static/
make typecheck   # type-check only, no output

界面#

工作区#

选择会话时的主视图。包含：

-代理跟踪（左）-每个流程一张卡篇（调查·构思·推理·验证·写作）。单击任意卡以打开具有特定于阶段的详细信息的智能体。 -选项卡（右）：

标签页

内容

Live

实时阶段卡片，日志流，运行时思考动画

Proof

定理块，带置信度标签的引理链，反例警告

Paper

PDF查看器、LaTeX源码查看器、论文Q&A对话、论文版本号指示器、重写按钮

Logs

完整日志原始输出

技能#

浏览、安装和删除技能。左面板显示种子技能；右面板为ClawHub的外部安装面板。每个技能卡显示使用计数和成功率。

设置#

在UI界面修改 .env 环境变量，包括 MAX_TOKENS_* 滑块. 修改的结果直接写入 .env 文件，并在下一次运行时起作用。详细信息参考 Token限制 。

Onboarding#

交互式设置向导（首次启动时显示）。指导模型选择、API密钥设置、可选工具和技能安装。可通过右下角的导向按钮随时重新打开。

对话控制#

暂停 / 恢复#

会话运行时，会出现暂停验证按钮。EurekaClaw在下一个引理边界处优雅地停止，并将检查点写入 ~/.eurekaclaw/sessions/<session_id>/checkpoint.json.

暂停时，您可以选择在恢复之前键入反馈：

📐 Guide the proof before resuming

Lemma chips: [concentration_bound] [main_result] ...
Textarea: "Use Bernstein instead of Hoeffding for lemma 2"

反馈直接注入到下一个理论尝试中。

会话列表状态指示器#

状态

标签

Running

蓝色 RUNNING 标签

Pausing

琥珀色 PAUSING… 标签 (闪烁)

Paused

琥珀色 PAUSED 标签

Resuming

绿色 RESUMING… 标签 (闪烁)

Completed

绿色 FINISHED 标签

Failed

红色 FAILED 标签

失败的会话显示重新启动按钮，将原始查询带到新运行。

论文Q&A与重写 (v0.2.0)#

写作阶段完成后，Paper 标签页会在PDF查看器旁激活一个Q&A对话面板。你可以直接在这里向AI提问，辅助撰写审稿回复（rebuttal），无需离开EurekaClaw。

论文Q&A#

在对话框中输入任何关于论文的问题。PaperQAAgent 会结合以下内容给出答案：

  • 论文完整LaTeX源码（放在系统提示词中，支持多轮对话且高效利用上下文）

  • 工具调用 — Agent可调用 arxiv_search、semantic_scholar、web_search、latex_section_read，将回答锚定在最新文献和论文的具体章节上

示例交互：

问题：定理2的bound看起来比较松——O(n²) 是紧的吗？

⏳ 搜索参考文献...
  ✓ arxiv_search: "spectral gap tight bound"
  ✓ latex_section_read: section "定理2"

O(n²) 的bound来自对Laplacian特征值应用Weyl不等式。
[Chen et al. 2024] 指出，对于正则图，利用Cauchy交错定理可以将bound
收紧至 O(n log n)。当前证明未利用正则性，因此仍有改进空间。

Q&A历史持久化到会话目录下的 paper_qa_history.jsonl，浏览器刷新和会话恢复后均不丢失。

论文重写#

通过Q&A审阅论文后，点击 Rewrite（或在对话框中输入修改指令并点击重写按钮）。EurekaClaw将：

  1. 注入你的反馈，重新运行 Theory（理论证明）阶段

  2. 根据 EXPERIMENT_MODE 配置，决定是否重新运行 Experiment（实验验证）阶段

  3. 重新运行 Writer（写作）阶段，生成新版LaTeX论文

流水线状态实时更新——Live 标签页照常显示进度。重写完成后：

  • 新版本论文自动保存（paper_v2.tex、paper_v3.tex……）

  • Paper 标签页切换显示更新后的论文

  • 对话框中出现系统标记，记录本次修改指令

重写为非阻塞操作。 POST /api/runs/{id}/rewrite 接口立即返回（202 Accepted），流水线在后台运行。重写期间可正常使用UI界面。

错误恢复。 若重写失败（理论或写作Agent出错），前一版本论文保持不变，对话框中会出现错误标记——Paper查看器不会出现空白状态。

Paper标签页状态

显示内容

写作阶段尚未完成

空状态 / 运行中显示加载动画

写作完成，等待门控

Q&A对话激活，显示接受 / 重写操作按钮

重写进行中

显示 重写中… 指示器；前一版论文仍可查看

重写完成

显示更新后的论文及新版本号

会话失败

显示错误信息；前一版论文保留

门控机制#

门控以悬浮对话框的形式出现在工作区之上——无论你在哪个标签页都会弹出。共有三种门控：

门控

出现时间

您能做什么

文献门控（Survey）

文献调研未找到任何论文

提供论文 ID 或 arXiv ID 重试，或在没有论文的情况下继续

方向门控（Direction）

构思阶段未返回任何候选研究方向

输入自定义方向，或直接接受原始猜想

理论审核门控（Theory Review）

定理证明器完成后

批准以继续写作阶段，或标记具体引理并说明原因——标记后理论智能体注入反馈重新运行；达到 THEORY_REVIEW_MAX_RETRIES 次重试（默认 3 次）后自动通过

论文Q&A门控（Paper Q&A）

写作阶段完成后

通过Q&A对话审阅论文；接受以结束会话，或输入修改指令触发论文重写