这个技能用于证明关系参数化定理并推导自由定理，主要应用于编程语言理论中的抽象边界证明、多态性推理和程序属性推导。关键词包括：关系参数化、自由定理、类型理论、多态性、证明自动化，便于SEO搜索。

此技能提供一套资源和指南，用于高效编写公司内部沟通文档，包括状态报告、领导层更新、3P更新、公司通讯等，确保符合公司特定格式和标准。关键词：内部沟通，状态报告，领导更新，3P更新，公司通讯，FAQ，事件报告，每周更新，常见问题。

该技能专注于使用Python工具处理DOCX文档，实现自动化创建、编辑和视觉验证，确保专业格式和布局质量。关键词：DOCX处理，文档自动化，Python脚本，视觉渲染，办公自动化。

框架文档研究员技能专为软件开发者设计，用于系统地收集、分析和整理软件框架、库及依赖项的官方文档、最佳实践和源代码信息，以支持项目开发、问题排查和功能实现，提升开发效率和质量。关键词：框架文档、技术文档收集、最佳实践分析、源代码研究、版本兼容性、软件开发支持。

此技能是一个可重复使用的、去标识化的协议，专门用于在跨城市搬家过程中，根据能力、距离、权威和风险敏感性，将任务分配给主要搬家者、同住家庭成员和父母。它帮助家庭高效协调搬家流程，明确角色和责任，避免重叠和风险。关键词包括搬家计划、任务分配、家庭协调、角色分配、跨城搬家、生活管理。

这是一个用于文件维护和清理的技能，实现自动清理、文件归档和组织功能。关键词：文件维护、文件清理、归档、组织、自动化、技能管理。

此技能是一个自动化工具，用于管理Cursor IDE的文档系统。它提供文档爬取、索引管理、搜索和解析功能，确保文档的一致性和可访问性。关键词：文档管理、自动化、搜索、索引、Cursor、开发工具、文档自动化。

此技能用于应用政府文档写作标准，确保报告采用Word风格的散文结构，禁止表格和装饰符号，并严格保持事实准确性，适用于正式政府报告编写和文档规范管理。关键词：政府报告、写作规范、事实准确、Word风格、散文结构、文档标准。

这个技能用于在代码审查和技术讨论中提供直接、诚实的反馈，强调坦诚沟通，以改进代码质量和促进团队协作。关键词：诚实反馈、代码审查、技术讨论、坦诚直言、团队协作、软技能、沟通技巧。

该技能用于优化简历和CV文档，提高影响力、ATS兼容性和目标受众匹配度。支持多种格式（如按时间顺序、功能型、混合型）、成就框架（如STAR/XYZ方法）和为特定角色定制。适用于简历审查、CV更新、求职申请准备等场景，帮助用户提升求职成功率。SEO关键词：简历优化、CV构建、ATS系统、求职技巧、职业发展。

这个技能专注于新闻和研究领域的来源验证和事实核查工作流，用于确保信息的准确性和可靠性。它涵盖验证声明、检查来源可信度、分析社交媒体账户、进行反向图像搜索、构建验证痕迹等关键任务。适用于记者、事实核查员和研究人员处理未经核实信息。关键词包括：源验证、事实核查、新闻工作流、数字取证、社交媒体分析、反向图像搜索、验证方法。

PDF处理技能提供全面的PDF文档操作功能，包括文本和表格提取、PDF创建、合并与分割、表单处理等。适用于程序化处理和大规模文档分析，工具涵盖Python库如pypdf、pdfplumber、reportlab以及命令行工具。关键词：PDF处理、文本提取、表格解析、文档自动化、Python编程。