用途：将方法描述或已有实现形式化为算法伪代码与系统架构图，帮助论文与代码保持对应。
主要能力：1）形式化算法：明确输入输出、识别主循环或递归结构、指定参数及类型、编写逐步伪代码；2）生成 LaTeX 伪代码，使用 algorithm 与 algpseudocode 环境，含 caption、label、Require/Ensure 及带行号步骤；3）生成 Mermaid UML 图，包含类图（如 Model 的 forward、train_step 方法）与时序图（如 Main 与 DataLoader 交互）；4）一致性校验：每个伪代码步骤需映射到代码模块，UML 中每个类需在实现中存在，参数名需在伪代码与代码间一致。
使用方式：输入为方法描述或待形式化的实现；参考模板位于 ~/.claude/skills/algorithm-design/references/algorithm-templates.md。按四步工作流执行：形式化算法、生成 LaTeX 伪代码、生成 Mermaid 图、验证一致性。
规则：使用标准算法记号而非代码语法；为行编号便于引用；以注释或命题形式给出复杂度分析；用 Require/Ensure 表示输入输出；伪代码抽象层级适中。
相关技能：上游为 atomic-decomposition、math-reasoning；下游为 experiment-code、paper-writing-section；另见 symbolic-equation。
限制：资料未提供安装命令、收费方式、具体支持平台及实际效果说明。