条款清单生成器是一款专为风险投资领域设计的自动化工具，能够根据标准模板和自定义条款快速生成专业、规范的条款清单文档。该工具支持种子轮、A轮、成长期等多种融资阶段模板，可灵活配置经济条款（如估值、清算优先权、反稀释）和治理条款（如董事会构成、保护性条款），并支持添加自定义条款和生成条款对比视图，极大提升了投资文件起草的效率和一致性。 关键词：条款清单生成器，风险投资工具，融资条款模板，VC条款自动化，投资协议生成，经济条款配置，治理条款设置，自定义条款库，条款对比分析，SAFE协议生成

规约构建器是一个专注于计算复杂性理论的工具，专门用于构建和验证NP完全性证明中的多项式时间规约。它提供构件库、规约验证、可视化等功能，帮助研究人员和学生在复杂性理论、算法分析、NP完全问题证明等领域进行问题分类和难度分析。关键词：多项式时间规约，NP完全性证明，计算复杂性理论，算法分析，问题规约，构件设计，复杂性分类。

类型规则生成器是一个专注于编程语言理论领域的工具，用于辅助设计和生成形式化的类型系统推理规则。它能够根据用户定义的语言语法，自动或半自动地生成符合学术规范的LaTeX推理规则、构建类型推导树、分析规则间的依赖关系，并支持导出到Ott、LNGen等机械化验证工具。该技能专为编程语言设计者、编译器开发者和形式化方法研究人员打造，旨在提升类型系统设计的效率和严谨性。 关键词：编程语言理论，类型系统，形式化方法，推理规则，LaTeX，类型推导，PLT，编译器设计

组合枚举技能专注于离散数学中组合对象的系统生成与精确计数。它提供排列组合生成、分拆枚举、生成函数计算、OEIS序列查询、Pólya计数及物种理论等核心功能，适用于算法设计、密码学、概率统计和计算机科学等领域的研究与开发。关键词：组合数学、离散数学、枚举算法、生成函数、排列组合、OEIS、Pólya计数、物种理论、算法设计。

本技能为文化机构提供全面的无障碍合规与包容性设计解决方案。核心功能包括：评估设施与项目是否符合《美国残疾人法案》标准；实施通用设计原则以创建包容性体验；整合音频描述、辅助听力系统等辅助技术；开发员工培训与包容性实践。适用于博物馆、美术馆、剧院等文化场所，确保残障人士及所有访客平等参与。关键词：无障碍合规、ADA合规、通用设计、辅助技术、包容性文化、博物馆无障碍、文化机构无障碍、访客体验、WCAG标准。

比较宗教学分析技能是一个用于对全球不同宗教传统、信仰体系、仪式实践和制度结构进行现象学比较的专业工具。它强调方法论中立和学术严谨性，旨在准确描述宗教现象、分析异同、并促进跨宗教理解。该技能适用于宗教研究、学术写作、教学以及促进宗教间对话等场景。 关键词：比较宗教学，宗教现象学，宗教传统比较，信仰体系分析，跨宗教研究，学术中立，方法论严谨，宗教对话

谬误检测与分析技能是一种逻辑分析与批判性思维工具，专注于识别、分类和解释论证中的逻辑谬误。该技能能够检测形式谬误（如肯定后件、否定前件）和非形式谬误（如相干性、预设性、歧义性谬误），参照逻辑原则精确分析推理缺陷，并提供修正建议。适用于论证分析、批判性思维教学、文本审阅和公共论述评估，帮助用户识别推理错误、提升逻辑严谨性和培养健全的思维习惯。 关键词：逻辑谬误检测，谬误分析，批判性思维，论证评估，形式逻辑，非形式谬误，推理错误，逻辑原则，谬误分类，思维训练

抽奖获奖者选择器是一款用于从列表、电子表格或Google表格中随机、公平地抽取获奖者的工具。它支持多数据源、多获奖者选择，并具备防止重复、结果透明等功能，广泛应用于社交媒体赠品、活动抽奖、团队随机分配等场景。关键词：随机抽奖、获奖者选择、公平选择、赠品工具、抽奖软件、名单随机、Google表格抽奖、CSV抽奖、Excel抽奖。

这个技能用于将计划安排按服务类别重新组织，将任务分组到特定类别标题下，而不是按时间顺序排列。适用于婚礼策划、项目管理和事件组织等场景，帮助用户清晰分类和展示筹备事项，提高组织效率。关键词：计划重组、服务类别、任务分组、结构化输出、信息分类、组织整理。

这是一个专为产品经理设计的10周求职计划模板，强调时间管理，每周工作量不超过12小时，防止过劳，并内置应急规则处理意外情况。适用于高效求职、时间约束的职业发展，关键词包括产品经理求职、时间盒化、应急计划、求职策略、职业规划。

这个技能是用于帮助求职者进行每周时间管理和计划优化的工具，通过严格的≤12小时/周时间盒，生成可操作步骤，并基于回复率进行自动诊断。关键词：求职、时间管理、计划审查、回复率诊断、自动触发、效率优化。

eightctl是一个命令行工具，用于控制Eight Sleep智能睡眠吊舱，支持状态监控、温度调节、警报设置和日程管理等功能。关键词：Eight Sleep控制，智能睡眠设备，温度调整，警报管理，日程设置，命令行工具。