浏览器验证
从Lean报错中提炼最小可复现示例（MWE），用于提交Bug报告。在精简Lean报错、创建MWE，或为lean4或mathlib4准备Bug报告时使用。
从原型开发到优化生产的智能体系统成熟度评估模型，共分为五个层级。
通过 LaunchAPPL 远程执行 Classic Mac 应用程序。测试远程执行能力，并在无需人工干预的情况下运行应用程序。
为 OceanBase 文档编写 SQL 示例，确保格式规范、命名清晰且结果分隔明确。当您在撰写或审阅 OceanBase 文档中的示例章节时，可使用此技能。
扫描项目中的AI文件，并将最新数据更新至registry/docs/ai-setup.md。在新增或删除技能、模式或配置后，用于同步注册表。请勿从零开始创建注册表——应手动创建docs/ai-setup.md。
审查未提交的变更，重点关注安全问题、代码质量与最佳实践
在Next.js App Router中实现Supabase认证流程。在构建注册、登录、注销、密码重置、OAuth，或受保护路由时使用此功能。
当您需要探索代码库、发现其中的规律、搜索相关代码、收集上下文信息，或在规划与实施之前深入理解代码结构时，可使用此技能。
分配原子编号并推送新功能。
通过文本、Markdown 及图表，指导如何制作 UI 线框图与概念原型。
从已保存的检查点、Git状态与项目文件中恢复工作上下文。