Logophile是一种文本编辑技能，专注于提升语义密度和清晰度。它通过优化措辞、压缩冗长文本、改进命名和标签，确保意图和语气不变，使内容更简洁、易于扫描和阅读。关键词：语义密度、文本压缩、语言优化、编辑技巧、SEO内容优化、词汇精炼。

8位文档模式是一种技能，专注于创建具有游戏化元素和复古风格的文档，适用于游戏组件、RPG元素和复古UI的文档编写。关键词包括：8位文档、游戏化示例、复古UI、前端开发、游戏开发、文档编写。

这个技能是关于使用Zustand进行React状态管理的存储模式，用于优化应用性能和组织代码结构，包括存储定义、选择器、动作分离、性能优化等。关键词：Zustand, React, 状态管理, 存储模式, 前端开发, 性能优化。

这个技能用于管理 Rust 项目中 Cargo.toml 文件的依赖项。它包括添加、更新、移除依赖项，组织依赖项到公共和私有部分，配置版本和默认功能，并在工作区中统一管理依赖。关键词：Cargo, 依赖管理, Rust, workspace, Cargo.toml, 依赖项。

此技能用于解决功能分析中算子理论的问题，提供有界算子验证、伴随算子计算、谱理论分析、紧算子识别和谱定理应用等策略，支持工具命令执行。关键词：算子理论，功能分析，数学分析，谱理论，问题解决，工具集成。

这个技能用于快速构建API的HTTP请求示例，包括curl或fetch方法，帮助初级开发者在开发、调试和学习时生成请求代码。关键词：API请求、HTTP请求、curl示例、fetch示例、快速构建、开发辅助、请求模板。

这个技能用于通过Rube MCP自动化Recruitee招聘任务，实现工具发现、连接管理和工作流执行，提升招聘效率。关键词：Recruitee自动化，Rube MCP，工具集成，招聘流程自动化，DevOps工具。

这是一个用于验证编译器优化是否保持程序语义正确的专家技能。它利用形式化方法（如Alive2）和SMT求解器，通过构建互模拟证明、生成反例等方式，确保优化转换不会改变程序的预期行为。核心关键词包括：编译器优化、语义保持、形式化验证、Alive2、SMT求解器、反例生成、互模拟证明。

类型健全性证明助手是一个专门用于辅助构建编程语言类型系统形式化证明的工具。它提供进展定理和保持定理的证明模板、替换引理生成、规范形式推导、案例枚举以及向Coq、Agda等证明助手的机械化转换指导。适用于编程语言理论研究者、形式化方法工程师和编译器开发者进行类型安全性的形式化验证。 关键词：类型健全性证明，进展定理，保持定理，形式化验证，编程语言理论，类型系统，证明助手，Coq，Agda，替换引理

这个技能用于将Matrix SDK集成到Makepad应用程序中，实现聊天客户端的实时更新、时间线管理、房间操作等功能，基于Robrix和Moly代码库的最佳实践。关键词：Matrix SDK, Makepad, 集成, 聊天客户端, 滑动同步, 时间线, 实时更新, 异步操作, 架构设计

WordPress路由器是一个用于自动化识别和分类WordPress项目代码库类型的工具技能。它能快速分析WordPress插件、主题、区块主题、核心代码或完整站点，并根据项目类型和用户意图，智能路由到相应的工作流（如区块开发、主题配置、API调用、性能优化、安全测试等）。关键词：WordPress开发，代码库分类，工作流路由，自动化工具，插件主题识别，区块开发，WP-CLI，性能测试。

构建命令技能是专门用于创建和修改Claude Code斜杠命令的专家技能，这些命令是用户触发的工作流，提供参数化、面向操作的功能。它适用于需要明确触发特定工作流、需要参数化输入、操作离散且定义明确以及需要简化复杂操作的场景。