★ 70 · 更新于 2026-09-30
修复证明、开发定理与经验证程序、建模系统、诊断 Lean 项目并审计信任边界。
浏览使用该输入的技能列表。
★ 70 · 更新于 2026-09-30
修复证明、开发定理与经验证程序、建模系统、诊断 Lean 项目并审计信任边界。
★ 8 · 更新于 2026-09-29
为 Decky Launch Options 插件创建或更新 TypeScript 配方源文件，并生成经过验证的配方输出。
★ 2 · 更新于 2026-09-15
生成用于自动化测试和验证的 GitHub Actions CI 工作流配置。
★ 230 · 更新于 2026-05-28
将 Next.js 和 React 应用部署到 Vercel，配置环境变量、构建设置和项目配置。
★ 22 · 更新于 2026-05-11
为 Claude Code 项目创建、改进、审核和维护 CLAUDE.md 文件
★ 16 · 更新于 2026-03-09
在声明工作完成或成功之前，运行验证命令并确认输出
★ 2 · 更新于 2026-03-09
运行持续的QA循环，包括测试、验证、修复，直到质量目标达成
★ 22 · 更新于 2026-03-09
运行自动化质量保证循环直到满足指定质量目标
★ 0 · 更新于 2026-02-11
运行构建，解析错误，逐个修复并重新验证