证明结构分析器是一款专注于数学证明分析与重构的工具。它能够识别证明策略（如归纳法、反证法），构建逻辑依赖关系图，检测推理链中的缺失步骤，并生成清晰的证明大纲。该工具旨在帮助数学家、学生和研究人员提升证明的清晰度、逻辑严谨性和完整性，是定理证明和数学研究的得力助手。 关键词：数学证明分析，定理证明，逻辑依赖图，证明重构，缺口检测，证明策略识别，形式逻辑，数学研究工具

提供高质量的研究写作支持：从资料调研、补充引用，到优化开头、完善结构大纲，并实时提供逐节反馈与打磨建议。适用于博客文章、技术文档、学术论文等。关键词：研究写作，大纲，润色，引用管理，逐节反馈。

本技能提供全面的学术出版物模板和格式要求，包括期刊、会议、研究海报和资助提案的LaTeX模板和提交指南，帮助用户高效准备学术稿件。关键词：学术模板、LaTeX模板、出版物指南、期刊提交、会议论文、研究海报、资助提案、写作风格。

这个技能用于根据CARE检查表审计病例报告或病例系列手稿，确保医学写作的合规性和质量。关键词包括CARE检查表、病例报告、医学写作、审计、合规、论文写作。

此技能用于审计随机对照试验手稿是否符合CONSORT 2025报告标准，通过30项检查清单评估研究报告质量，适用于RCT、临床试验等研究。关键词：CONSORT 2025, 临床试验审计, 报告标准, 科研合规, 论文写作。

数学符号验证器是一款专门用于验证、标准化和统一数学符号表示法的工具。它能够检查数学文档中的符号一致性，跟踪符号定义，检测符号冲突，确保符合学术期刊或会议的样式指南，并自动生成符号术语表。该工具支持不同数学符号标准间的转换，帮助研究人员、学生和学术作者提高数学文档的质量和可读性。关键词：数学符号验证，符号标准化，LaTeX检查，学术写作，符号一致性，数学文档，符号术语表，样式指南合规

pdflatex是一个用于在Linux系统上安装和使用pdflatex工具将LaTeX文档编译成PDF的技能，特别适用于学术研究、论文撰写和技术文档生成。关键词：pdflatex安装、LaTeX编译、PDF生成、学术文档、Linux命令、研究工具。

这个技能用于自动化实现LaTeX文档的创建、编译和管理。它作为一个薄包装器，委托子代理处理LaTeX语言任务，包括文档编写、编译循环、状态更新和Git提交。适用于学术论文、技术报告等格式化文档的生成，支持任务状态跟踪和后置操作。关键词：LaTeX实现、文档编译、自动化任务、学术写作、技术文档、任务管理。

科学写作技能是专为研究人员和学者设计的工具，用于撰写高质量的科学论文。它采用两阶段写作过程（大纲创建与散文转换），支持IMRAD结构、多种引用风格（如APA、AMA、Vancouver）、图表制作和报告指南（如CONSORT、STROBE、PRISMA），确保论文符合学术标准并适用于期刊投稿。关键词：科学写作，论文撰写，学术研究，文献检索，引用管理，数据可视化，IMRAD结构，研究工具。

LaTeX物理文档助手是一款专门为物理学研究人员设计的文档排版工具，提供专业的LaTeX论文排版、公式渲染、期刊格式适配、参考文献管理和学术图表生成功能。关键词：LaTeX排版、物理论文、公式渲染、期刊格式、BibTeX、学术写作、arXiv投稿、科学文档、REVTeX、TikZ图表

这个技能用于整理和优化LaTeX会议模板，将其从混乱的.zip文件转化为结构清晰、适合Overleaf使用的提交模板。它帮助用户快速准备会议论文，去除冗余内容，确保符合会议要求。关键词：LaTeX模板整理、会议论文模板、Overleaf优化、文档组织、学术写作工具、模板清理、Overleaf提交。

这个技能用于审计观察性研究手稿，检查其是否符合STROBE检查表标准，帮助确保学术研究的报告质量。适用于队列、病例对照、横断面设计的研究，如回顾性研究、数据库分析等。关键词：STROBE、观察性研究、合规检查、学术写作、流行病学报告、偏倚控制、统计方法。