0.1.2开源 · 在你自己的电脑上运行

把文稿、公式和 AI 讨论
放进同一张画布

导入 PDF、Markdown 和 Notebook，标出关键片段，把想法和来源连成研究关系。AI 提出的改动先进提案，你点了确认才写入。

下载 Research Canvas 查看源码

macOS（Apple Silicon）、Windows x64、Linux x64 · 解压即用，不用安装

选段带锚点，讨论引用到原句
确认之后才写入画布
关系先存为「候选」
Research Canvas 复分析 · 单叶函数 检索文稿与讨论⌘K 服务就绪
Hurwitz 与单叶性 已保存 · 布局 3
Ahlfors · Complex Analysis §5.1第 178 页

若 fn 在区域 Ω 内全纯且无零点，并局部一致收敛到 f，则 f 恒为零或处处无零点。

待验证 · 结构候选
想法

把 fn(z) − fn(z0) 放进 Hurwitz，能不能得到单叶函数列的极限仍单叶？

hurwitz-notes.mdv4

推论：单叶函数列的局部一致极限是单叶的。推论：单叶函数列的局部一致极限要么单叶，要么为常数。

怎么用

从一堆材料，到一张能追溯来源的研究图

1

导入材料

整个项目文件夹导进来，目录和相对路径原样保留。

PDFMarkdownNotebookWord / Excel / PPT图片JSON
2

标出片段

在文稿里选中段落或公式，片段带着锚点留在画布上。

已锚定的选段
原文改过，锚点标黄
3

就选段讨论

围绕选中的材料提问，回答按来源编号引用；讨论本身也存成文稿，可以继续分叉。

…局部一致收敛 [1]，缺常数情形 [2]
4

导出与归档

工作区能导出成 JSON 或 ZIP 归档，换电脑、升级版本时原样恢复。

JSONZIP

研究关系与提案

AI 给的是可审阅的建议，不是直接改你的稿子

研究关系写清条件和缺口

两份材料之间的联系先存成候选，按证据分成三档，每条都拆成同样的五栏。

启发性类比只是看起来相似，还没有对应的运算
待验证候选结构对得上，证明或文献还缺
有论证支持工作区里的材料已经给出论证
对应
两边哪个对象对应哪个
条件
在什么前提下成立
反例
已知会失效的情形
缺证明
工作区里还没有的文献
下一步
要核对的定义、运算和出处

每一处改动都要你点头

改写选段、新建文稿、移动卡片、连新关系，AI 都只能提出来。确认之前，画布和原文一个字都不动。

AI 提案→你看对比→确认写入
局部一致极限是单叶的要么单叶，要么为常数。
改动范围只能动你选中的卡片和位置
同一文稿一次提案里最多改一处选段
版本冲突你本地的编辑先留着，再按提示合并

本机运行

数据在你的电脑里，模型由你来选

数据只存本机

  • 服务开在 127.0.0.1:8787，用浏览器打开
  • 工作区、文稿、PDF、讨论和历史版本都在解压目录的一个 SQLite 文件里
  • PDF、Excel、PPT 的文字由程序内置解析，不上传

接你自己的模型

  • 支持 Anthropic Messages 和 Chat Completions 两种接口协议
  • 在 config/server.toml 里填地址和模型名
  • API Key 从环境变量读，不写进文件
  • 还没有模型服务？用合作中转站接入

开源

  • 项目代码采用 MPL-2.0 许可
  • 每个发行包注明构建所用的源码提交
  • Rust 后端 + 网页界面，可以自己从源码构建

下载

选你的系统，解压后双击启动

macOS 你的系统
Apple Silicon（M 系列）· macOS 13 及以上
research-canvas-0.1.2-macos-arm64.zip20.0 MB · 0.1.2
下载
Windows 你的系统
Windows 10 / 11 · x64
research-canvas-0.1.2-windows-x64.zip19.8 MB · 0.1.2
下载
Linux 你的系统
x64 · glibc 2.35 及以上（如 Ubuntu 22.04）
research-canvas-0.1.0-linux-x64.tar.gz0.1.0 · 在 GitHub 发行页下载
前往 GitHub
1
完整解压放到「文稿」这类可写的目录，程序和数据都在里面
2
双击启动macOS 打开 Start.command，Windows 打开 start.cmd，Linux 运行 bash start.sh
3
浏览器打开http://127.0.0.1:8787，用完回到启动窗口按 Ctrl+C
macOS 首次打开被拦截？这个版本还没做 Apple 公证。确认文件来自本站或 GitHub 仓库后，到「系统设置 → 隐私与安全性」里点「仍要打开」。

接入 AI

讨论、改写和画布提案都要接一个模型服务

没接模型时，导入、编辑、画布和导出照常能用，右侧讨论框会显示「模型目录读取失败」。按下面四步接上合作中转站就能用。

合作中转站推荐

rest2build

一个 Key 同时支持 Research Canvas 用到的两种接口，注册后在控制台自助创建。

Chat CompletionsAnthropic Messages模型列表接口
前往 rest2build 获取 Key

也可以换成任何支持这两种接口之一的模型服务，改第 2 步里的地址和模型名即可。画布提案要求模型支持工具调用。

1
注册并创建 API Key在 rest2build 控制台新建一个 Key，复制下来备用。Key 只在启动时输入，不写进任何文件。
2
改模型配置先停掉服务，用文本编辑器打开解压目录里的 config/server.toml，把整段 [provider] 换成下面这段。模型名以中转站模型列表里的为准。 
[provider]
protocol = "chat_completions"
base_url = "https://www.ai.rest2build.lol/v1"
api_key_environment = "RESEARCH_CANVAS_API_KEY"
default_model = "gpt-5.5"
allowed_models = ["gpt-5.5"]
vision_models = ["gpt-5.5"]
request_timeout_seconds = 180
max_output_tokens = 4096
max_input_characters = 240000
max_input_image_bytes = 20971520
models_cache_seconds = 300
3
带着 Key 启动在解压目录打开终端（Windows 用 PowerShell），运行下面的命令，按提示粘贴 Key。 
read -r -s -p '输入 API Key: ' RESEARCH_CANVAS_API_KEY
export RESEARCH_CANVAS_API_KEY
bash start.sh
4
确认接通打开 http://127.0.0.1:8787，右侧讨论框的模型选择里出现 gpt-5.5 就接通了。
gpt-5.5取代原来的「模型目录读取失败」