Autolith：具备实时运行时的编程智能体

# Autolith：通用 Lisp 编程代理 来源：https://www.lambda-symbolics.com/autolith ## Autolith：具备实时运行时的编程代理 Autolith 运行在终端中，并直接操作你的代码仓库。它可以读取和编辑文件、搜索工作空间、执行命令和测试、维护项目上下文，全程无需离开对话即可使用 Common Lisp。 - **仓库操作**：文件系统、Shell 和搜索工具，结果实时可见。 - **连续性**：便携对话、记忆、议程、检查点与恢复机制。 - **实时 Lisp**：内置 SBCL 运行时，可直接检查、测试和扩展。 *适用于希望拥有可检查、可扩展、可恢复代理的开发者。* Autolith · 常驻代理 Autolith 吉祥物，采用黑色墨水与点阵抖动印刷于纸上 ## 安装 Autolith Autolith 面向 Linux x86-64 系统。二进制发布包自带 SBCL、Lisp 依赖项和原生辅助工具；它会检查是否有更新的标签版本，并在更新前征求确认。若希望从源头锁定完整构建流程，推荐使用 Nix。 *确实，将 URL 管道传输至 shell 执行存在风险。请在运行安装程序前审阅内容。Nix 是更优的安装途径。* ***Autolith 以你的用户权限执行模型生成的代码。其进程边界仅保障可靠性，而非抵御恶意代码。请将其作为开发代理而非安全沙箱使用。*** 启动 Autolith · 二进制、Nix 或源码 ``` # 二进制安装后 $ autolith --auth $ autolith # 推荐方式 · Nix $ nix run github:luciusmagn/autolith -- --auth $ nix run github:luciusmagn/autolith # 从源码构建 $ git clone https://github.com/luciusmagn/autolith $ cd autolith $ ./script/bootstrap $ ./script/check $ ./bin/autolith --auth $ ./bin/autolith ``` ## 会话始于具体请求 以下是从 `autolith --immutable` 捕获的只读会话片段。提示词要求列出仓库内容；工具输出仅因 Autolith 常规终端限制而缩短。 对话记录依次呈现：请求、工具调用、限定结果，最后是助手的回答。这是终端真实格式，而非模拟聊天窗口。 捕获会话 · 不可变模式 ``` ❯ you 检查此仓库但不修改文件。使用一个工具列出顶层文件，然后用一句话总结发现。 ◇ 推理摘要 │ 列出顶层文件▸ fs.list /root/common-lisp/frobREAD ∙ 正在运行 fs.list · 00:00 ✓ fs.list CPU 0.001s · 真实时间 0.002s │ /root/common-lisp/frob │ d .git/ │ d .github/ │ d .qlot/ │ d bin/ │ d dist/ │ d docs/ │ d native/ │ d nix/ │ d recovery/ │ d script/ │ d src/ │ ... 还有13行 ● autolith 该仓库是一个 Common Lisp 项目，包含源码、测试、恢复工具、文档、构建配置、原生资源以及 GitHub/Nix/Quicklisp 支持。 ``` ## 代理及其工具运行于同一进程 Autolith 是终端编程代理，而非对其他代理进程的封装。其 Common Lisp 镜像包含提供方客户端、终端界面、工具注册表、对话状态、持久记忆、工作空间议程以及决定后续操作的代码。 它直接与 ChatGPT Codex 订阅服务通信，不启动也不捆绑 Codex CLI。文件系统、Shell、搜索、内存和 Lisp 操作仍是具有可见结果的显式工具。 ## 快速搜索，可选不可变模式 工作空间搜索通过 **fff**（https://github.com/dmtrKovalenko/fff）这一快速 Rust 搜索库在进程内执行。Autolith 保持索引预热，而非为每个查询启动新搜索进程。 若需检查而不修改活动镜像状态，请使用 **`--immutable`** 启动。该模式保留只读检查与恢复信息，同时禁用求值、变更、持久化、检查点及回滚工具。 ## 无需重启即可更新运行中的代理 Autolith 可以检查并替换其运行时镜像中的完整函数、方法、类、宏、条件与全局设置。探索性修改会立即生效，并记录在仅追加变更日志中。这些修改可立即使用、丢弃，或保留为私有镜像提交。 有用的变更随后可转为私有镜像提交。提交包含清单和完整的可执行 Lisp 重放脚本，保存在独立的私有 Git 历史中。这种方式既更新了活动代理，又避免了对跟踪源码仓库的静默补丁。 典型变更事务示例： ``` → self.source APPLICATION-TO-TOOL-CALL-ENTRY ← 完整跟踪的 DEFMETHOD → self.redefine (defmethod application-tool-call-entry ...) ← 编译并安装到活动镜像 → self.diff ← 一个可重构的实时变更 → self.commit "改进工具调用呈现" ← 私有镜像提交 commit-id 完整的 reconstruct.lisp 保留在私有 Git 中 ``` ## 不同类型状态保持分离 源码、对话、有用事实、实时变更、精确堆快照与一次性实验具有不同生命周期。Autolith 将它们分离管理，而非假装单一数据库或保存核心承载一切。 持久层 · 重构证据 - **对话**：仅追加便携 S 表达式，包含精确恢复命令与崩溃尾部修复。 - **记忆**：工作空间或全局事实、偏好与决策，具有有界提示召回能力。 - **议程**：简短工作空间任务与笔记，每次请求均可完整访问。 - **私有镜像提交**：用于持久用户自定义定义与设置的完整重放脚本，保存于私有 Git。 - **世代**：保存的活动核心、精确跟踪的源码提交、重构脚本、清单与日志位置。 - **工作器镜像**：不可变实验性 SBCL 核心，记录来源关系和持久化笔记，绝不被选为活动代理。 - **恢复**：独立构建的纯净镜像，可检查崩溃并选择已知可用世代，无需加载损坏核心。 © 2026 Lambda Symbolics OÜ Autolith · 2026年7月18日修订