全部 Skill技能列表
归约语义Skill reduction-semantics
归约语义是一种编程语言理论方法，用于定义程序评估过程。它通过重写规则和评估上下文来指定评估顺序，优雅地将“在哪里归约”与“归约什么”分离。适用于语言语义定义、教学、程序变换和评估策略推理。关键词：归约语义、程序评估、重写规则、评估上下文、编程语言理论、语义定义、可归约表达式、标准归约。
指称语义构建器Skill denotational-semantics-builder
指称语义构建器用于为编程语言构建指称语义模型，支持形式化语义定义、程序属性证明和语义分析。核心功能包括语义域定义、语法映射、组合性处理和不动点递归语义。适用于形式化方法、程序验证和编程语言理论研究。关键词：指称语义、语义域、形式化语义、程序证明、语义分析、编程语言理论、不动点、域理论。
内部通讯Skill internal-comms
此技能提供资源指南，帮助用户编写各种企业内部通讯文档，如3P更新、公司通讯、FAQ响应、状态报告、领导更新、项目更新和事件报告，确保格式和语气符合公司标准。关键词：内部通讯、3P更新、公司通讯、状态报告、领导更新、FAQ响应。
推进系统测试分析技能Skill propulsion-test-analysis
本技能专为航空航天工程领域设计，专注于推进系统地面测试。核心功能包括测试单元仪器配置、数据采集系统设置、实时性能计算、测试结果与理论预测的关联分析、推力台校准验证以及测量不确定性分析。通过LabVIEW、MATLAB等工具，实现对测试数据的全面采集、处理与验证，确保推进系统性能评估的准确性和可靠性，是火箭发动机、航空发动机等关键部件研发与验证过程中的重要技术支撑。 关键词：推进系统测试，地面测试，数据采集，数据分析，航空航天工程，性能验证，LabVIEW，MATLAB，不确定性分析，测试矩阵
Things3CLI工具Skill things-mac
这是一个用于在 macOS 上通过命令行界面管理 Things 3 任务的工具。它支持读取本地数据库、添加和更新任务，适用于任务管理、个人效率提升。关键词：Things 3, CLI, 任务管理, macOS, 命令行工具。
Klaviyo电商营销技能Skill klaviyo
Klaviyo 提供电子邮件和短信营销服务，包括客户档案管理、事件跟踪、活动推广、流程自动化和客户细分等功能，旨在帮助电商企业提升营销效果和客户参与度。
公理语义学Skill axiomatic-semantics
公理语义学是一种通过逻辑断言和证明规则（如Hoare逻辑）定义程序含义的形式化方法，用于程序正确性验证、证明系统设计、教学形式化验证、指定程序行为和构建验证工具。关键词：公理语义学、Hoare逻辑、程序验证、形式化验证、循环不变式、最弱前置条件、SMT求解器。
CAMB宇宙学计算器Skill camb-cosmology-calculator
CAMB宇宙学计算器是一款专业的宇宙学模拟工具，专门用于计算宇宙微波背景辐射（CMB）功率谱、物质功率谱和进行宇宙学参数估计。该工具支持暗能量状态方程建模、中微子质量效应分析，并提供Python/Fortran接口，是宇宙学研究、天体物理分析和科学计算的重要软件。关键词：CAMB，宇宙学计算，CMB功率谱，物质功率谱，宇宙学参数，暗能量，中微子，Python接口，科学计算
ObsidianMarkdown编辑器技能Skill obsidian-markdown
这个技能用于创建和编辑 Obsidian 风格的 Markdown 文档，支持内部链接（wikilinks）、标注（callouts）、属性（properties）等 Obsidian 特有语法，适用于笔记管理、知识库构建和文档编写。关键词：Obsidian, Markdown, 笔记, 编辑, 语法, 知识管理, 文档编写
认知设计Skill cognitive-design
认知设计技能基于认知心理学原理，用于优化视觉界面、数据可视化、教育内容等的设计，以提高用户体验和信息传达效率。关键词：认知设计、数据可视化、用户体验、教育技术、认知心理学。
范畴函子技能Skill categories-functors
这个技能用于在范畴论中处理和验证函子相关问题，提供问题解决策略，利用Lean 4编程语言进行数学证明和编译器验证。它覆盖范畴公理检查、函子性质验证、常见函子类型以及使用Lean 4工具进行高效验证。关键词：范畴论，函子，Lean 4，数学证明，编译器验证，问题解决策略。
CocoIndexSkill cocoindex
CocoIndex是一个高性能的实时数据转换框架，专为人工智能设计，能够构建索引流，从多种数据源提取数据，应用转换，并导出到不同的目标数据库。