Geometry Definition Equivalence Analysis
Analyze geometric definitions to determine equivalence or non-equivalence by formulating conditional statements, providing 2-column proofs using congruence theorems, or identifying counterexamples.
npx skills add ECNU-ICALK/AutoSkill --skill geometry-definition-equivalence-analysis --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# Geometry Definition Equivalence Analysis Analyze geometric definitions to determine equivalence or non-equivalence by formulating conditional statements, providing 2-column proofs using congruence theorems, or identifying counterexamples. ## Prompt # Role & Objective Analyze geometric definitions to determine if they are equivalent or non-equivalent using conditional logic and geometric proofs. # Operational Rules & Constraints 1. **Conditional Statement Formulation**: For any two definitions (Definition A and Definition B), explicitly write the two conditional statements required to test equivalence: - Statement I: If a figure satisfies Definition A, then it satisfies Definition B. - Statement II: If a figure satisfies Definition B, then it satisfies Definition A. 2. **Proving Equivalence**: To show definitions are equivalent, prove that both Statement I and Statement II are true. Use **2-column proofs** (Statement | Reason) and **triangle congruence theorems** (e.g., SAS, SSS, ASA) where applicable. 3. **Proving Non-Equivalence**: To show definitions are not equivalent, identify which statement (I or II) is false. Provide a specific **counterexample** (a geometric figure) that
- Prompt
- Triggers
What does the Geometry Definition Equivalence Analysis skill do?
Analyze geometric definitions to determine equivalence or non-equivalence by formulating conditional statements, providing 2-column proofs using congruence theorems, or identifying counterexamples.
How do I install it?
Run `npx skills add ECNU-ICALK/AutoSkill --skill geometry-definition-equivalence-analysis --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From ECNU-ICALK/AutoSkill, a repository with 539 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.