Lians 是一个面向 AI 编程智能体的「当前状态与完成度守卫」,面向 Claude Code、Codex、Cursor 等工具。它解决的核心问题是:智能体可以忘记聊天上下文,但不该忘记哪些已经完成、改了什么、还有哪些必须通过。
用途
- 恢复被中断的智能体工作。
- 拒绝过时任务状态,避免旧证据被静默复用。
- 在任务真正准备好接受人工审查前,阻止「完成」结论。
主要能力
- 恢复(Recover):在受支持的 Claude Code 和 Codex 会话之间恢复一个有边界的当前任务。
- 拒绝过时状态(Reject stale state):把检查点绑定到当前仓库与任务状态,使旧证据不会被当作当前证据复用。
- 守卫完成(Guard completion):将实测证据与智能体自己的声明分开;当工作缺失、未知、失败或被阻塞时,保持门关闭。
- 要求审查:READY FOR HUMAN REVIEW 是移交给人的信号,绝不等同于工作正确、获批或可安全部署。
- 保持本地:免费恢复路径不需要 Lians 账号、AI 密码或提供商 API Key。
信任模型
- measured_local、measured_ci、human_confirmed 证据可满足一条标准。
- agent_attested 和 inferred_activity 记录可作为上下文,但不能打开审查门。
- 智能体不能把自己的检查点提升为受信任类别。
- 受信任的 CI 证据需要精确的 GitHub 证明与提交匹配,以及交互式的检查到标准映射;人工证据需要交互式确认。
两层结构
- 开源的 Lians Guard 层:通过 MCP、skills、hooks 和仓库状态存在于 Codex 内,记录纠正并暴露证据,但不接管模型。
- 可选的 Lians Mission Control 测试版:本地控制层,给它一条 mission,让它选择一条有边界的 Codex 路线,并要求真实验证器通过后才返回 PASS。在受支持的 Codex 版本上,一条 Mission Control mission 使用一个 Codex app-server 线程,而非每个阶段新起进程并重放摘要。Codex 仍负责认证、工具、沙箱与执行;Lians 负责持久 mission、使用策略与回执。App-server 目前为实验性,因此单次适配器仍可用。
使用方式
- 选择你已使用的 AI 工具,例如安装 uv 后连接 Codex,重启 Codex,然后保存一条安全的项目事实,并在新会话中恢复它。
- 本地记忆默认存储在 ~/.lians/mcp.db。这是可用的免费恢复路径;完整的 Guard 工作流目前为开发者预览。
- 完整快速开始涵盖安装、恢复、纠正、删除与 Guard 预览边界。
- 可在应用内使用本地 Python SDK;安装指南涵盖 TypeScript、Go、Java、C、框架集成与自托管。
适用场景
- AI 编程智能体跨会话、跨工具的连续性恢复。
- 需要证据支撑的任务完成度核验与人工审查交接。
- 有治理需求的团队使用项目级智能体移交、签名选择与评审回执、本地研究与浏览器摘要、时间重建、血缘、信息屏障、确认删除、有界形式检查等高级能力;这些不属入门记忆工作流必需。
- 面向课堂、社团、黑客松或校园开发者群体,提供学生与社区工具包。
限制与边界
- Lians 是当前状态与完成度守卫,不替代你的模型、Git、CI、仓库指令或人工审查。
- 它不与原生 Claude Code、Codex、Cursor、GitHub Copilot、Entire、Factory 及 AI 审查工作流竞争所有能力,也不声称每个项目都需要独立记忆层。
- 项目处于活跃开发中,恢复功能与预览 Guard 功能已做区分,仓库未暗示尚不存在的生产保证。
- macOS 与 Windows 桌面构建仍为候选版本,等待平台签名与公证。
- 所附证据是受限测试结果,不代表每次真实编码会话都完美提取。
- ContinuityBench v0.1 仍在开发中,其当前 Lians fixture 仅作为该 fixture 的证据,不是已完成的竞品排行榜。
- Guard 正确性基准是对配置策略的本地确定性测试,不是语义正确性或生产结果的证明。
许可与贡献 Apache 2.0,见 LICENSE。贡献前请阅读 CONTRIBUTING.md。功能想法、集成请求与可复现 bug 欢迎提交到 GitHub Issues。