Individual skill
math-proof-blueprint
数学证明蓝图与引理台账约定。把问题拆成带状态的依赖图（假设/已知/待证/已证/有反例），定义"问题是否被解决"的可检查判据（闭包/无环/结论对齐），并给每条结论标注证据等级。当需要拆解证明依赖、核对整体是否闭合或判定结论可信度时使用。
skills/math-proof-blueprint/SKILL.md
Source commit 656883dda6099fcef9538465986ab9883a594ea9
What was checked
- Matches the observed repository HEAD
- Yes
- Scanner rules are current
- Yes
- Repository scan complete
- No
- Skill scan complete
- Yes
- Observed behavior
- Instructions only
- Last checked
- Nov 6, 2026
These are observations at the recorded commit, not a guarantee of safety. Review the source before running it.
Install this skill
Choose an agent in your Stack or copy a command below. Commands fetch the pinned commit and copy only this skill directory. Existing destinations are refused. Copying a command does not install anything.
An install command is unavailable: current rules, complete repository and skill scans, an eligible behavior level and a permitted license are required.
Repository context
- Repository stars (not skill ratings)
- 102
- Repository last updated
- Oct 23, 2026
- License
- Apache-2.0
Observed agent integration: No specific integration evidence. Standard SKILL.md installation does not imply verified compatibility.
- agent-orchestration Repository topic
- ai-agent-framework Repository topic
- ai-agents Repository topic
- claude-code Repository topic
- codex Repository topic
- gemini Repository topic
- llm Repository topic
- multi-agent Repository topic
- engineering Derived category
Files and excerpt
File metadata and permitted, redacted excerpts come from the recorded scan. Source links are pinned to that commit.
Browse files
SKILL.mdcore · 2,580 bytes
Read excerpt
# 证明蓝图（引理台账）与证据等级
把"这道题解到哪了"从感觉变成可检查的状态。核心是一张**依赖图**：每个节点是一句陈述，带状态与依赖；"问题已解决" = 图满足三个可检查性质。
## 节点状态词汇（单一事实来源）
- `ASSUMPTION`：原题给定或显式声明的假设。
- `SOURCE`：引用的已知定理/结果，附可核对来源与适用条件。
- `LEMMA_PENDING`：已声明、尚未证明的中间结论。
- `LEMMA_PROVED`：已证明，指向其证明所在产物与依赖。
- `LEMMA_REFUTED`：被反例证伪，证明其成立无望。
每个节点写：编号、陈述、状态、依赖的节点编号列表、证据位置。状态必须来自实际产物，不凭印象填写。
