无 Skill技能列表
OAC技能使用流程指南Skill using-oac
此技能定义了如何系统化调用和使用OAC技能的标准流程，确保在开始任何任务前遵循规则，提高工作效率、减少错误，并促进最佳实践。关键词：OAC技能、调用规则、工作流程、效率优化、技能管理、流程规范、任务执行。
范畴函子技能Skill categories-functors
这个技能用于在范畴论中处理和验证函子相关问题，提供问题解决策略，利用Lean 4编程语言进行数学证明和编译器验证。它覆盖范畴公理检查、函子性质验证、常见函子类型以及使用Lean 4工具进行高效验证。关键词：范畴论，函子，Lean 4，数学证明，编译器验证，问题解决策略。
浏览器标签页列表Skill browser-list-tabs
该技能用于自动列出浏览器中所有打开的标签页，提供索引、URL和标题信息，帮助用户高效管理、切换和监控标签页，提升浏览器使用体验。关键词：浏览器、标签页、列表、管理、自动化、SEO优化、网页监控。