メニュー
审查数学证明的逻辑完整性、符号一致性和推理严密性
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
根据用户说明生成物理/数学教学插图的 AI 绘图提示词。涵盖模型示意图、函数曲线图等，支持多面板组合布局。
跨文件代码审查，检查 Typst 代码的一致性、可维护性和内容职责原则遵循情况
扫描 Typst 文件中的标签（如 <def:limit-of-sequence-of-sets>），在 Appendix 的 Glossary 节中生成字母索引。
本技能文件规定了 `TypstTemplate/math-notes.typ` 模板的使用方式和所有可用组件。
本技能文件规定了如何编译验证 Typst 文件，确保修改后的笔记可以正确生成 PDF。
在编辑 Typst 数学笔记时，保持符号、风格、格式完全一致的原则
| name | proof-reviewer |
| description | 审查数学证明的逻辑完整性、符号一致性和推理严密性 |
| user_invocable | false |
作为数学证明审查员，检查以下方面：
#theorem / #proposition / #lemma / #corollary）是否有对应的证明区块（#proof）∀x ∃y 和 ∃y ∀x 是否有混淆@label）的目标是否存在且类型匹配本 skill 由 AtomCode 在分析证明相关代码时自动调用，不需要用户显式触发。