SuperAPI AI 工具集

Lians

Lians 是面向 AI 编程智能体的开源「完成度守卫」工具,支持 Claude Code、Codex、Cursor 等。它可恢复被中断的智能体会话,拒绝过时的任务状态,并在任务真正准备好接受人工审查前阻止「已完成」结论。其核心是把真实运行的检查结果与当前 Git 状态绑定,区分「实测证据」与「智能体自称」,只有 measured_local、measured_ci、human_confirmed 三类证据才能通过审查门。Lians 还提供可选的本地控制层 Mission Control(Beta),让一条 mission 走有界 Codex 路线并要求真实验证器通过。免费恢复路径无需账号或 API Key,数据默认存于 ~/.lians/mcp.db,采用 Apache 2.0 许可。

访问官网

工具介绍

Lians 是一个面向 AI 编程智能体的「当前状态与完成度守卫」,面向 Claude Code、Codex、Cursor 等工具。它解决的核心问题是:智能体可以忘记聊天上下文,但不该忘记哪些已经完成、改了什么、还有哪些必须通过。

用途

  • 恢复被中断的智能体工作。
  • 拒绝过时任务状态,避免旧证据被静默复用。
  • 在任务真正准备好接受人工审查前,阻止「完成」结论。

主要能力

  1. 恢复(Recover):在受支持的 Claude Code 和 Codex 会话之间恢复一个有边界的当前任务。
  2. 拒绝过时状态(Reject stale state):把检查点绑定到当前仓库与任务状态,使旧证据不会被当作当前证据复用。
  3. 守卫完成(Guard completion):将实测证据与智能体自己的声明分开;当工作缺失、未知、失败或被阻塞时,保持门关闭。
  4. 要求审查:READY FOR HUMAN REVIEW 是移交给人的信号,绝不等同于工作正确、获批或可安全部署。
  5. 保持本地:免费恢复路径不需要 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。