modu-ai/moai-adk

解決的問題

MoAI-ADK 是一個驗證驅動的代理編排框架，旨在確保 AI 生成程式碼的可信度。它透過在系統層級禁止未經驗證的聲稱，並將每個成功聲稱與實際命令輸出綁定為證據，解決了代理聲稱測試通過但未實際執行的問題（即「幻覺式完成聲稱」）。

工作原理

它作為 Claude Code 的結構化封裝，管理模型編排、推理深度與驗證。它實作結構化的 SPEC 生命周期（計畫 → 執行 → 同步），並使用「看板模式」將工作拆分至多個終端（主控、計畫、執行與同步會話）。透過確保每個會話僅攜帶其特定階段相關的上下文，防止上下文視窗飽和。它還使用隔離的工作樹與分支保護機制，確保並行執行時代理不會相互覆蓋程式碼。

適用對象

專為使用代理式編碼工具、需要嚴格品質控制、成本效率（Token 經濟）以及能管理在會話清除後仍能持續的長期任務的開發者與工程團隊設計。

主要亮點

• 基於證據的驗證：禁止未經驗證的完成聲稱；每個聲稱必須與實際命令執行及其輸出綁定。
• 看板與工廠模式：在多個專用會話間編排工作，優化上下文使用並支援並行處理。
• 並行安全隔離：使用專用工作樹與分支狀態保護機制，防止並行執行時意外覆蓋程式碼。
• Token 經濟優化：根據工作階段聲明性地分配模型與推理深度，以減少 Token 消耗（例如，使用低成本模型進行實作，高推理模型進行規劃）。
• 自主邊界：實施回合數、時鐘時間及停滯保護的硬性限制，防止自主執行中的無限循環。
• 自我改進循環：將失敗模式與路由決策記錄至決策記憶中，以改進未來的執行。