设置

账号、AI 供应商、用户规则和工具密钥集中在同一个 Settings 页面。

打开设置

在项目里，点击左侧边栏底部的 Settings 齿轮。设置会作为标签页打开，和文件标签并列。

在任意页面，也可以点击头像，选择 Settings。打开的是同一套设置。

Account

Account 是别人在共享项目里看到的资料。

• Profile：更换头像（小于 5 MB）和显示名称，然后点击 Save Changes。
• GitHub Integration：显示 GitHub 是否已连接。连接后可用于 GitHub 相关的项目功能。
• Reset Password：向账号邮箱发送重置链接。

AI Providers

AI Providers 用来管理 ReasLingo 的模型。

• System 是 ReasLab 提供的模型，展开行可以查看。
• + Add Provider 添加自己的接口。填写名称、Base URL 和 API Key 后保存。
• 展开某个供应商，用 + Add Model 登记模型 ID。
• Refresh 重新加载列表。

各供应商的地址和示例模型 ID 见 AI 供应商配置。

User Rules

User Rules 是 ReasLingo 在对话中一直遵守的说明。

1. 点击 Add Rule。
2. 写好规则并保存。
3. 用铅笔图标修改，用 × 删除。

Tools

Tools 保存研究工具的个人 API Key。

Semantic Scholar：粘贴密钥，先点 Test，再点 Save。个人密钥的速率限制高于共享池。已保存的密钥可以用 Remove 删除。还没有密钥时，点 Get a key。

管理员还会在这个页面看到 OAuth Clients。

编辑器外观（主题、字号、自动换行、行号）不在这里。见 编辑器设置。