本技能专注于范畴论中自然变换的问题解决策略，提供决策树、Lean 4 工具命令和 Yoneda 引理应用，帮助用户验证自然性、分析分量、处理自然同构和函子范畴。关键词：范畴论、自然变换、Lean 4、Yoneda 引理、数学证明、问题解决、形式化验证。

参考文献格式转换工具，支持APA、MLA、IEEE、Harvard四种主流学术引用格式之间的相互转换，同时提供格式错误检查和批量处理能力。关键词：参考文献格式，APA，MLA，IEEE，Harvard，引用转换，批量格式化，格式检查，学术写作，论文排版

用于撰写LIGO、Virgo、KAGRA探测到的致密双星并合事件（BNS、BBH、NSBH）引力波观测结果论文的Skill。覆盖论文架构、首页版式、参数估计图、不确定度标记、可信区间图、统计约定、页眉等，复刻《Physical Review X》双栏期刊风格。关键词：引力波、观测报告、论文撰写、LIGO、Virgo、KAGRA、致密双星合并、参数估计、统计约定、贝叶斯分析、置信区间、双栏排版。

本技能提供撰写顶级会议（如CVPR、ICCV、NeurIPS等）科研论文的结构化指南，涵盖从章节起草、图表设计、LaTeX排版到投稿前打磨的全流程，确保生成符合标准的终稿或预印本。关键词：SCI论文写作，顶级会议，LaTeX排版，论文草稿，叙事逻辑，投稿检查。