ogp-proof-and-analysis-toolkit

What problem does it solve?

This Skill provides first-principles proof methods for the Open Garden Planner, ensuring claims about code behavior are verified before implementation.

Core Features & Use Cases

• Empirical Verification: Prove third-party library behavior with minimal probe scripts.
• Coordinate-Frame Proof: Validate coordinate frame consistency in rendering and geometry.
• Geometry Invariant Derivation: Ensure transform code maintains geometric invariants.
• Headless Numeric Trace: Refute numeric theories with automated code execution.
• Adversarial Input Probing: Test trust boundaries against hostile inputs.
• Tolerance Derivation: Derive tolerances from physical scale and observer.
• Signal/Timing Analysis: Identify event-driven bugs through signal and timing analysis.
• Refutation by Primary Source: Validate code claims with primary source reading.
• Counting/Exhaustiveness Proofs: Ensure universal claims hold for all members of a class.

Quick Start

Load the ogp-proof-and-analysis-toolkit skill when you need to verify a claim about third-party library behavior or geometry code.