全部 Skill技能列表
证明挑战Skill prove-it
这个技能是一种系统性的论证验证工具，专门用于压力测试绝对性声称（如“总是”、“从不”、“保证”等）。通过多轮挑战回合（如反例寻找、逻辑陷阱分析、边界情况测试等），它帮助识别声称中的漏洞、隐藏假设和边界条件，最终精炼出更准确和可靠的表述。适用于需要严格逻辑分析和风险识别的场景，如AI系统验证、数据科学模型评估或一般性论证审查。关键词：压力测试、论证验证、绝对声称、魔鬼代言人、边界分析、逻辑挑战。
叙事算法框架Skill narratological-algorithms
叙事算法框架技能专注于将叙事原则从艺术家、理论家等来源转化为形式化、可实现的算法框架，用于故事结构分析、叙事技术提取、工艺方法形式化和创建可实现的讲故事协议。关键词：叙事算法、故事分析、形式化框架、创意写作、AI叙事、算法交易、数据统计。
综合跨城搬家计划生成器Skill "comprehensive-cross-city-moving-plan-creator"
该技能用于创建详细的6周跨城搬家计划，涵盖房屋搜索、搬家公司选择、公共服务迁移和地址更新，并包含12小时应急替代方案以确保预算和可靠性。关键词：搬家计划、跨城搬迁、时间管理、应急预案、预算控制。
归约语义Skill reduction-semantics
归约语义是一种编程语言理论方法，用于定义程序评估过程。它通过重写规则和评估上下文来指定评估顺序，优雅地将“在哪里归约”与“归约什么”分离。适用于语言语义定义、教学、程序变换和评估策略推理。关键词：归约语义、程序评估、重写规则、评估上下文、编程语言理论、语义定义、可归约表达式、标准归约。
存在类型Skill existential-types
存在类型是一种编程语言中的高级类型系统特性，用于实现数据抽象和类型信息隐藏。它允许创建抽象数据类型、异构集合和类型擦除接口，广泛应用于Haskell、OCaml和Rust等函数式编程语言中。关键词：存在类型、数据抽象、类型隐藏、编程语言、类型系统、函数式编程。
实用技术写作技能Skill pragmatic-writing
实用技术写作技能是一种基于Hunt/Thomas和Joel Spolsky风格的写作方法，用于创作清晰、引人入胜、可操作的技术内容，如技术文章、文档和教程。关键词：技术写作、实用、清晰、可操作、SEO、内容创作。
抽奖赢家选取器Skill raffle-winner-picker
这是一个用于从列表、电子表格或Google表格中随机、公平地选取赢家的工具，适用于抽奖、赠品和竞赛，确保透明度和无偏见选择。关键词：随机抽奖、公平选择、Google Sheets、CSV、Excel、多重赢家、重复预防、商业生产力。
内部通信指南Skill internal-comms
此技能提供一套资源和指南，用于编写企业内部通信文档，如状态报告、领导更新、3P更新、公司新闻稿、FAQ回答、事件报告和项目更新，确保遵循公司特定格式和标准，提升沟通效率和一致性。关键词：内部通信、3P更新、公司新闻稿、FAQ、状态报告、领导更新、项目更新、事件报告、公司通信、每周更新、常见问题。
指称语义构建器Skill denotational-semantics-builder
指称语义构建器用于为编程语言构建指称语义模型，支持形式化语义定义、程序属性证明和语义分析。核心功能包括语义域定义、语法映射、组合性处理和不动点递归语义。适用于形式化方法、程序验证和编程语言理论研究。关键词：指称语义、语义域、形式化语义、程序证明、语义分析、编程语言理论、不动点、域理论。
ChineseLearningAssistantSkill chinese-learning-assistant
HSK4级别的汉语学习者提供实用的流畅性提升支持，包括表达分析和作文修改，旨在帮助学习者理解网络内容和与母语者流畅对话。
列出所有工具Skill all_tools
这个技能用于展示和列出所有可用的工具列表，帮助用户快速了解和参考工具的功能和用途，适用于探索Claude Code的各种功能，提高开发和使用效率。关键词：工具列表、功能参考、Claude Code、开发工具、工具管理、SEO搜索。
Things3CLI工具Skill things-mac
这是一个用于在 macOS 上通过命令行界面管理 Things 3 任务的工具。它支持读取本地数据库、添加和更新任务，适用于任务管理、个人效率提升。关键词：Things 3, CLI, 任务管理, macOS, 命令行工具。