在 Manus 中运行任何 Skill
一键导入
一键导入
一键在 Manus 中运行任何 Skill
开始使用proof-reviewer
星标6
分支0
更新时间2026年6月16日 12:56
审查数学证明的逻辑完整性、符号一致性和推理严密性
安装
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
SKILL.md
readonly来源
相关职业SOC
基于 SOC 职业分类
菜单
审查数学证明的逻辑完整性、符号一致性和推理严密性
用 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 在分析证明相关代码时自动调用，不需要用户显式触发。