asklokesh/loki-mode

Loki Mode – 自主、以规格驱动的编码助手

是什么 – Loki Mode 是一个 CLI/SDK 工具，您只需提供产品规格（一行想法、PRD 文件、OpenAPI 规格等），它将自动完成所需软件的完整构建。该工具基于 验证完成 工作流：代理会持续运行，直到通过确定性检查证明生成的代码满足规格、通过测试、成功构建，并（可选）通过运行时健康检查。证明以签名的“证据收据”形式存储，可供日后审计。

如何工作 –

• 您提供规格；Loki 会分类其复杂度并选择一个起始模板。
• 一个编排器会组建一个由 41 个专业代理角色（跨 8 个领域）组成的团队，执行 RARV 循环（Reason → Act → Reflect → Verify），并内置 8 个质量门检查（测试、构建、静态分析、密钥扫描、运行时健康等）。
• 代理在 Anthropic 的 Claude 模型（或任何兼容的 LLM）上运行，且可在运行中切换模型。
• 当所有门禁通过后，Loki 会写出生成的仓库和一个机器可检查的收据（.loki/proofs/<run_id>/），其中包含差异哈希、测试/构建结果以及 GPG 签名的证明。

主要命令

命令	用途
loki quickstart "<idea>" --yes	从简短想法一次性构建；选择模板，显示成本/时间估算，然后无需进一步提示直接构建。
loki start <spec.md>	从您编写的完整规格文件构建。
loki modernize heal <repo> --assess	对现有代码库进行只读分析——成熟度评分、债务信号、以及低风险改进目标的排序列表。
loki proof verify <id>	重新哈希收据并确认差异匹配；干净验证时退出码为 0。
loki doctor	检查必需的环境变量（如 ANTHROPIC_API_KEY）和依赖项是否存在。
loki quickstart --dry-run --json > preview.json	生成一个决定性预览（模板选择、成本估算、规格哈希），不写入文件也不调用模型。
loki verify	在任何分支/PR 差异上运行 Loki 的质量门检查；CI 友好退出码（0 = 已验证，1 = 存在问题，2 = 被阻塞）。

安装 – 项目通过多个渠道分发基于 Node 的 CLI。推荐方法是 bun install -g loki-mode（启动速度快）。也提供 npm、Homebrew 和 Docker 镜像。可将 Claude Code 插件（/loki-grill、/loki-spec-status、/loki-verify）添加到 Claude 的 IDE 集成中。

为何“验证完成”很重要 – 许多本地编码代理声称“已完成”，但实际上未做任何更改或测试失败。Loki 只有在满足以下条件时才会标记运行完成：

1. git diff 非空。
2. 所有必需测试通过（真实 N passed 输出）。
3. 构建成功。
4. 可选门禁（运行时健康、密钥泄露检测）通过。 如果任一门禁结果不确定，收据会记录一个 间隙（例如 VERIFIED WITH GAPS）。收据是与精确差异哈希绑定的纯文本文件，任何人都可无需信任代理的自我报告而重新运行验证。

证据收据 – 每次运行都会在 .loki/proofs/ 下创建一个目录，包含：

• 生成变更的 diff_sha256。
• 测试、构建和门禁结果。
• AI 生成的“委员会裁决”（标记为 评估，而非证明）。
• 可选的分离 GPG 签名（LOKI_PROOF_GPG_KEY）。 标题（VERIFIED、VERIFIED WITH GAPS 或 NOT VERIFIED）仅 由确定性事实推导得出。

使用场景

• 快速原型开发 – 通过单个命令将简短想法转化为可运行的全栈应用（含 Docker-compose）。
• 遗留系统现代化 – 对现有仓库进行只读评估，获取优先级排序的低风险改进列表，然后让 Loki 在严格验证下应用这些变更。
• CI 集成 – 在流水线中使用 loki verify，强制要求任何 PR 都满足自主代理所用的相同质量门禁。
• 可审计的 AI 生成代码 – 将收据附加到拉取请求；评审者可独立验证差异和测试结果。

限制 / 注意事项

• 运行需要 Anthropic API 密钥（或兼容模型）；无模型时工具仅能显示预览。
• “已验证”声明的可信度取决于确定性检查；恶意行为者可能同时重写事实和收据以保持一致，因此在高信任场景中推荐使用签名收据。
• 目前 CLI 仅原生支持 Claude 基础提供者；其他模型需自定义集成。
• 该工具为开源，但商业版本（Autonomi Cloud/Enterprise）增加团队级功能；免费版可能缺少部分企业级编排或 UI 组件。

总结 – Loki Mode 是一个真正的开源自主编码代理，强调 通过验证建立信任。它自动化了从规格到代码的全流程，提供其行为的确定性证据，并提供一组可在脚本或 CI 环境中安全使用的命令。