ReasLingo 基础操作

ReasLingo 是搭载在整个 reaslab-agent 系统核心之上的原初智能体界面与架构。它负责统管所有工作区域的多轮自然语言对话，并且允许用户极致化调节 AI 的上下文结构与推理逻辑。

概述

在任意项目中，无论您是编辑 Lean 证明还是优化数学模型，侧边栏均是由 ReasLingo UI 接手并提供 AI 驱动的核心服务驱动区域。

核心配置与用法

@添加上下文 (Context Injection)

通过直接向提示词框输入带有 @ 的文件路径或直接右键文件选择 Add to Chat，您可使模型具有全局的代码库感知能力。同时在当前激活的文档中圈选部分高亮行，亦能极精细的只摘取当前代码切片发往大脑端进行特定重构工作。

配置高级引擎参数

对话界面具有一系列深度开关和滑块调整项目底层模型的调用逻辑：

• Max Tokens 输出限制: 根据您的诉求收紧或放大 AI 的回答篇幅容忍度。如果您意图让它生成代码或者分析多页文档，请将 max-tokens 设置至对应接口许可的高上限。
• 配置推理强度 (Reasoning Effort): 选择偏向深思熟虑亦或者速答模式。当推理强度调高时，大模型后台架构能够对一些极高难度的 Lean 证明过程或是冗长的求解问题启用反思和复验逻辑。
• 底层技能 (Skills) 引用: ReasLingo 支持读取规范化环境存储下的特定预写逻辑文件。只要向对应的系统路径添加技能机制，您的 AI 会立即继承并且在对话流内利用这份额外的工具或结构化回答思维提供服务。