政策撰写专家是一款AI驱动的企业政策生成工具，能够快速生成专业、合规的内部政策文档。它覆盖人力资源、IT、财务、数据隐私、合规管理等多个业务领域，支持根据公司规模（初创或大型企业）定制政策内容和格式。该工具能自动生成包含执行摘要、适用范围、政策声明、实施程序、合规参考等完整结构的政策文件，帮助企业高效完成ISO 27001、SOC2、GDPR等标准合规文档准备，提升管理效率与风险控制能力。 关键词：AI政策生成，企业合规文档，内部政策撰写，GDPR合规，SOC2文档，ISO 27001，人力资源政策，数据隐私政策，风险管理，智能体工具

这个技能提供了oh-my-claudecode插件的详细使用指南，帮助用户无需学习命令即可自动增强Claude Code功能。它包括自动行为、魔法关键词、停止命令、首次设置和使用分析。通过数据分析，用户可以优化工作流程，识别未充分利用的功能，并获得个性化推荐。关键词：oh-my-claudecode, Claude Code插件, 智能代理, 使用分析, 工作流优化, 自动化编程。

这个技能用于在AI或工具使用中建立强制工作流，确保在开始任何任务时正确查找和使用技能，包括阅读技能、头脑风暴、创建任务清单等，以提高效率、避免错误和遵循最佳实践。关键词：计划执行、技能管理、工作流、AI助手、任务清单、头脑风暴、强制协议。

Lean 定理证明助手是一个基于 Lean 4 形式化验证系统的专业工具，专注于数学定理的形式化证明与验证。它能够将非形式化的数学证明转化为机器可检查的 Lean 代码，利用 Mathlib4 数学库中的已有成果，通过自动化策略辅助用户完成严谨的证明过程。该工具适用于数学研究、计算机科学中的形式化方法验证以及数学教育等领域。 关键词：Lean 4, 定理证明, 形式化验证, 数学形式化, Mathlib4, 证明助手, 自动推理, 策略证明

这是一个专为CEO、创始人及高管设计的个人反思与成长系统。它整合了比尔·坎贝尔、吉姆·柯林斯等顶尖思想家的11个经典管理框架和11套教练式访谈脚本，通过结构化回顾（日/周/季/年）帮助领导者进行深度反思、目标设定、时间管理、失败模式识别和领导力提升。核心是构建一个远离内卷文化、专注于清晰度与持久性发展的私人操作系统。关键词：CEO个人操作系统，高管反思系统，领导力发展，目标设定，时间管理，创业失败模式，第五级领导力，教练式访谈，年度回顾，人生规划。

MPC配置器是一款专注于工业过程控制的专业技能工具，主要用于模型预测控制（MPC）系统的实施与优化。核心功能包括：通过阶跃测试进行动态过程模型辨识、控制器结构配置（CV/MV/DV选择）、约束与目标函数设定、以及预测时域、控制时域和移动抑制等关键参数的整定与性能监控。该技能适用于化工、能源等流程工业的新MPC项目部署、现有控制器性能提升与重调，是连接基础PID控制与高级过程优化的关键桥梁。关键词：模型预测控制，MPC配置，过程控制，模型辨识，控制器整定，工业自动化，DMCplus，性能优化。

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

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

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

Qiskit量子电路构建器是一个专门用于量子计算开发的技能工具，提供IBM Qiskit框架的全面集成支持。核心功能包括：量子电路设计与构建、电路优化转译、IBM量子硬件后端对接、作业执行与结果分析、以及量子电路可视化。该技能适用于量子算法开发、量子硬件实验、量子编程教学和量子计算研究等场景，帮助开发者高效完成从量子电路设计到实际硬件运行的完整工作流。 关键词：量子计算，Qiskit，量子电路，IBM Quantum，量子编程，量子硬件，量子算法，量子模拟，量子开发工具

根本原因分析器是一个专业的运营分析技能，用于系统性地识别和验证问题的根本原因。该技能集成了多种分析方法，包括5个为什么、鱼骨图、故障树分析和统计假设检验，帮助用户深入挖掘问题根源，提供数据驱动的解决方案。适用于质量管理、流程优化、问题解决等场景，是六西格玛和精益生产的重要工具。关键词：根本原因分析，鱼骨图，5个为什么，故障树分析，假设检验，质量管理，六西格玛，问题解决，数据分析，流程优化。

会议日程安排器是一款专为风险投资、投行及企业高管设计的智能日程协调工具。它能高效管理多方会议安排，自动处理时区差异，优化参会者可用时间，并支持从初步沟通到董事会会议等多种会议类型。核心功能包括日历集成、智能时间推荐、项目流协调和投资组合会议管理，旨在提升团队协作效率，减少日程冲突，是专业投资机构和企业管理层的必备效率工具。关键词：智能会议安排，风险投资日程管理，时区协调，多方会议优化，日历同步，投资委员会会议，董事会日程，尽职调查协调。