FrontAgent
前端 AI 代理新里程碑：FrontAgent 以 MCP 與 SDD 實現全流程自動化
FrontAgent 是以 Model Context Protocol 為基礎、結合 Specification‑Driven Development 的前端 AI 代理平台，提供兩階段規劃與執行、錯誤自癒與幻覺防護等功能，提升開發自動化與安全性與團隊協作效率。
FrontAgent
FrontAgent 是以 Model Context Protocol 為基礎、結合 Specification‑Driven Development 的前端 AI 代理平台，提供兩階段規劃與執行、錯誤自癒與幻覺防護等功能，提升開發自動化與安全性與團隊協作效率。
MSO2
本研究延伸 Courcelle 定理，探討含自由變數的 MSO2 公式模型能否以決策圖表示。研究顯示，當以圖的樹寬或路徑寬作為參數時，SDD 與 OBDD 的大小皆可達到線性上界；然而亦證明存有樹寬受限的圖族，其 OBDD 無法以樹寬參數化。此結果為圖論與知識表示提供新連結。