该技能用于安全地从文档目录中读取文件，并进行验证，确保文件操作的安全性，适用于Python环境。关键词：文件读取、安全、文档目录、验证、Python编程。

这是一个完整的Kimai时间追踪软件API集成技能，提供对工时表、项目、客户、活动、团队、发票和系统配置的全面控制。支持时间追踪工作流、数据报告和管理操作，适用于团队协作、项目管理、工时统计和发票生成等场景。关键词：Kimai时间追踪、工时管理、项目管理、API集成、时间记录、团队协作、发票导出、工时统计

网络匹配器是一款专为风险投资领域设计的智能工具，用于高效连接投资组合公司与投资者网络资源。它通过智能算法匹配招聘、客户、专家等需求，提供精准引荐，旨在提升投后管理效率，创造投资组合价值。关键词：风险投资，投后管理，网络资源匹配，智能引荐，价值创造，投资者网络。

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

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

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

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

阐释性写作技能专注于为博物馆、美术馆等文化机构创作各类面向公众的阐释性文本内容，包括展品标签、展墙说明、教育材料、数字内容等。该技能强调内容的可及性、准确性、吸引力与分层设计，旨在连接藏品与多元背景的观众，提升参观体验与文化传播效果。关键词：博物馆写作，展品标签，阐释性内容，文化传播，教育材料，可及性设计，观众体验。

此技能用于家庭财务管理，通过设定周消费上限、应急例外处理、连续超支自动纠正、每周对账和月度复盘，帮助双人家庭有效控制预算。关键词：家庭预算、周限额、应急支出、超支纠正、月度回顾。

元模式识别是一种高级认知技能，用于在跨3个或更多领域中识别重复出现的模式，提取通用原则，并将其应用于新场景，以提升问题解决效率、促进创新和优化决策。关键词：模式识别、跨领域、通用原则、思维模型、问题解决、元认知、创新方法、思维技能。

这个技能是关于撰写和优化README文件的指南，提供模板和指导，帮助用户根据项目类型和受众需求创建有效的文档。关键词包括：README撰写、项目文档、文档优化、开源项目文档、文档指南。

这是一个基于抽象语法树（AST）的代码搜索和重构工具，用于在多种编程语言中查找特定代码模式，如函数调用和类定义，支持精确重构和批量替换，提高代码质量和开发效率。关键词：AST, 代码搜索, 代码重构, 语法分析, 开发工具, 自动化重构, 编程辅助。