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 環境中安全使用的命令。