coordinate-proof
CommunityProve geometry with coordinates.
Author0bserver07
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Prove geometric statements by placing figures in a coordinate system and using algebraic computations.
Core Features & Use Cases
- Prove geometric relationships in a coordinate plane using distance, midpoint, and slope formulas.
- Convert geometric configurations into algebraic equations and verify properties like parallelism, perpendicularity, and diagonal bisection.
- Provide optional Lean formalization for machine-checked proofs when needed.
Quick Start
Place a figure in coordinates and derive the theorem using distance, midpoint, and slope formulas.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: coordinate-proof Download link: https://github.com/0bserver07/bourbaki/archive/main.zip#coordinate-proof Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.