反例生成器是一款自动化数学工具，专门用于搜索和发现数学猜想、定理或命题的反例。它通过智能采样、边界测试、SMT求解和有限模型查找等技术，帮助数学研究者、计算机科学家和学生验证猜想、调试证明。核心功能包括随机测试、约束求解和快速性质检查，适用于定理证明、形式验证和数学研究领域。关键词：反例搜索、数学猜想验证、定理证明、SMT求解、Quickcheck、自动化测试、形式验证、数学工具。

供应商评估技能用于系统化评估第三方供应商在工程集成、安全、成本等方面的适合度，帮助高级开发人员进行结构化决策，提升供应商选择效率。关键词：供应商评估，工程适合度，风险评估，第三方集成，供应商管理，结构化评估。

这个故事协作技能是一个AI驱动的活跃写作伙伴，用于与人类作家合作生成散文、对话、情节替代方案和创意内容。它基于故事感知框架，提供多种写作选项，尊重作者的创意控制，适用于小说创作、剧本写作和内容写作领域，提升创意协作效率。关键词：写作协作、创意写作、故事创作、AI写作伙伴、对话生成、内容生成、故事感知、写作技能。

Slack集成工具是一个用于自动化控制Slack工作区的技能。它允许用户通过OpenClaw平台执行多种Slack操作，包括自动回复消息（使用表情符号）、发送、编辑和删除消息，以及管理频道或私信中的固定项目。该工具还支持获取成员信息和自定义表情列表，旨在提升团队协作效率，实现任务标记、信息管理和团队沟通的自动化。关键词：Slack自动化，团队协作工具，消息管理，机器人集成，工作流自动化，OpenClaw，固定消息，表情回复。

该技能是一个个人生产力工具，用于帮助用户进行系统性的月度回顾和规划。通过自动汇总周度回顾数据、检查季度目标进展并设定下月优先事项，提升目标管理和效率。关键词：月度评估、周度总结、目标追踪、时间管理、生产力提升。

这个技能提供Sketch设计工具的全面指导，帮助用户学习如何使用画板、符号、样式和原型设计功能。关键词包括：Sketch设计、画板、符号、样式、原型设计。

写作润色技能用于审查和优化文本文件，提升其清晰度、语气和影响力，适用于各种写作场景如商业提案、技术文档、SEO内容等。关键词：写作润色，文本编辑，清晰度提升，语气调整，SEO优化，语言服务。

该技能用于自动化管理个人知识库中的项目归档和收件箱处理，通过识别已完成项目和已处理收件箱，将其移动到归档目录并更新元数据，帮助用户保持工作空间整洁并保留历史记录。适用于使用Obsidian等笔记软件的用户，提高工作效率和组织性。关键词：归档、项目管理、收件箱处理、知识管理、自动化、效率优化、Obsidian、文件组织。

这个技能用于管理 Claude Code 中的 Language Server Protocol (LSP) 配置，提供 LSP 服务器推荐、.lsp.json 配置文件指南、安装指导和故障排除服务，帮助开发者优化代码编辑体验。关键词：LSP, 语言服务器, 代码智能, 配置管理, 故障排除, 开发工具。

本技能提供一套完整的ISO 9001:2015质量管理体系实施解决方案。核心功能包括：体系差距评估、全套质量管理文档模板生成、流程程序文件创建、组织环境与风险分析、文件控制体系搭建、管理评审支持以及最终的认证准备度评估。适用于制造业、服务业等各类组织建立、优化或认证其质量管理体系。关键词：ISO 9001实施，质量管理体系，QMS文档模板，差距评估，认证咨询，流程优化，风险分析。

这个技能是一个基于SPARC（规范、伪代码、架构、精炼、完成）框架的软件开发方法论技能，集成了多代理协调和测试驱动开发（TDD），用于从需求分析到部署监控的全周期软件开发。它强调系统性、并行执行和质量优先，提高开发速度和代码质量。关键词：SPARC方法论、软件开发、多代理协调、测试驱动开发、架构设计、TDD、协调模式、软件开发流程。

本技能用于在 Obsidian 笔记软件中，使用 LaTeX/MathJax 语法编写和渲染复杂的数学公式、方程、矩阵、积分、求和等数学符号。它提供了从基础到高级的语法指南，帮助用户高效地在知识管理笔记中嵌入专业的数学表达式，提升学术、科研或技术文档的编写效率和质量。关键词：Obsidian, LaTeX, MathJax, 数学公式, 笔记软件, 学术写作, 符号渲染, 方程编辑