其他 Skill技能列表
SlackGIF制作工具包Skill slack-gif-creator
Slack GIF 制作工具包是一个用于创建和优化 Slack 平台动画 GIF 的 Python 工具包。它提供验证器来确保符合 Slack 的大小和尺寸限制，以及可组合的动画原语如摇动、弹跳、移动等，帮助用户轻松制作动画 GIF 和表情。关键词：Slack GIF 制作, 动画 GIF 工具包, Python 图像处理, Slack 表情优化, GIF 验证器
演出制作协调Skill production-coordination
演出制作协调是一项专业能力，专注于统筹管理现场表演活动的全流程运作。核心功能包括：制定制作日程、协调技术需求、管理艺人合同与接待、安排场地后勤以及规范演出文档。适用于演唱会、戏剧、音乐节、大型活动等现场演出领域，确保活动从策划到执行各环节无缝衔接。关键词：演出制作、活动协调、舞台管理、技术统筹、艺人管理、场地运营、制作日程、演出文档。
阐释性写作Skill interpretive-writing
阐释性写作技能专注于为博物馆、美术馆等文化机构创作各类面向公众的阐释性文本内容，包括展品标签、展墙说明、教育材料、数字内容等。该技能强调内容的可及性、准确性、吸引力与分层设计，旨在连接藏品与多元背景的观众，提升参观体验与文化传播效果。关键词：博物馆写作，展品标签，阐释性内容，文化传播，教育材料，可及性设计，观众体验。
展览设计Skill exhibition-design
展览设计技能专注于为博物馆、美术馆、商业展会等各类展览空间提供专业的整体规划与设计服务。核心内容包括：空间布局规划、展品陈列策略、专业灯光设计、图文导视系统以及参观流线优化。该技能旨在通过科学的设计方法，为不同背景的观众创造兼具教育性、互动性与艺术性的沉浸式观展体验，同时确保展览的无障碍访问与文物保护要求。关键词：展览设计，空间规划，展品陈列，灯光设计，导视系统，参观流线，无障碍设计，博物馆设计，美术馆设计，会展策划。
资助提案撰写Skill grant-proposal-writing
资助提案撰写技能专注于为艺术文化机构提供全面的资助申请服务，包括资助方研究、项目叙事撰写、预算编制和合规文件准备。关键词：资助申请、提案撰写、预算制定、基金会资助、政府资助、企业赞助、非营利组织筹款、项目评估、合规文件。
PPTX创建与编辑Skill pptx
此技能专注于PPTX文件的全面处理，包括创建新演示文稿、编辑现有内容、分析幻灯片结构等。它利用编程工具如Python脚本、HTML转换和XML处理，实现演示文稿的自动化和定制化。适用于办公自动化、教育演示、商业报告等场景。关键词：PPTX, 创建, 编辑, 分析, Python, HTML, XML, 演示文稿, 自动化
规约构建器Skill reduction-builder
规约构建器是一个专注于计算复杂性理论的工具，专门用于构建和验证NP完全性证明中的多项式时间规约。它提供构件库、规约验证、可视化等功能，帮助研究人员和学生在复杂性理论、算法分析、NP完全问题证明等领域进行问题分类和难度分析。关键词：多项式时间规约，NP完全性证明，计算复杂性理论，算法分析，问题规约，构件设计，复杂性分类。
定理证明器接口Skill theorem-prover-interface
该技能提供与交互式定理证明器（如Coq、Isabelle、Lean）交互的专家指导，专注于形式化验证、机械化证明和代码提取。关键词：形式化验证，定理证明器，Coq，Isabelle，Lean，机械化证明，证明自动化，代码提取。
图灵机模拟器Skill turing-machine-simulator
图灵机模拟器是一个用于计算机科学教育和研究的专业工具，专注于模拟图灵机的运行过程。它支持多带图灵机和非确定性图灵机的模拟，提供逐步执行、磁带可视化、停机检测和计算轨迹生成等功能。该工具适用于可计算性理论分析、算法复杂性演示、可判定性证明以及计算机科学基础教学。关键词：图灵机模拟，可计算性分析，算法演示，计算理论，复杂性理论，停机问题，计算机科学教育。
类型规则生成器Skill typing-rule-generator
类型规则生成器是一个专注于编程语言理论领域的工具，用于辅助设计和生成形式化的类型系统推理规则。它能够根据用户定义的语言语法，自动或半自动地生成符合学术规范的LaTeX推理规则、构建类型推导树、分析规则间的依赖关系，并支持导出到Ott、LNGen等机械化验证工具。该技能专为编程语言设计者、编译器开发者和形式化方法研究人员打造，旨在提升类型系统设计的效率和严谨性。 关键词：编程语言理论，类型系统，形式化方法，推理规则，LaTeX，类型推导，PLT，编译器设计
实验设计专家Skill doe-designer
实验设计专家是一个专业的AI技能，专注于过程优化中的实验设计与分析。该技能提供完整的实验设计解决方案，包括全因子设计、分数因子设计、响应曲面方法、筛选设计等。通过方差分析、效应估计和优化算法，帮助用户识别关键影响因素、建立预测模型并确定最优工艺参数。适用于质量工程、工艺优化、产品开发、科学研究等领域，提升实验效率和数据驱动的决策能力。 关键词：实验设计 DOE 因子设计 响应曲面 方差分析 过程优化 质量工程 统计建模 工艺参数优化 实验分析
线性规划建模器Skill linear-program-modeler
线性规划建模器是一个用于制定和解决线性规划模型的数学编程技能。它专注于资源分配优化、生产计划排程、产能决策支持，通过识别决策变量、构建目标函数、建模约束条件，并进行模型验证与敏感性分析，帮助企业实现成本最小化或利润最大化。适用于运筹学、工业工程、供应链管理、金融优化等领域。关键词：线性规划，运筹学，资源优化，生产计划，产能规划，数学模型，敏感性分析，影子价格。