proof-loop - 凭证驱动的编码 Sprint 协议proof-loop验证工作流sprint★ 11 · 更新于 2026-09-12通过冻结验收条件、隔离构建与验证角色及生成凭证产物运行编码 sprint。⚙ 冻结验收条件⚙ 初始化任务目录⚙ 验证验收条件
daily-dashboard - Daily Dashboard技能 - 通过API管理待办事项和日记仪表板待办事项管理日记记录生产力★ 0 · 更新于 2026-02-23通过HTTP API在Daily Dashboard上管理待办事项、习惯和日记条目⚙ 列出待办事项⚙ 添加待办事项⚙ 完成待办事项
plan - 生成实施计划和子任务规划项目管理任务分解文档★ 41 · 更新于 2026-02-23为Formic任务创建实施计划文档和结构化子任务⚙ 读取功能规范⚙ 生成PLAN.md文件⚙ 创建subtasks.json文件