gpd-evolve-invariant
OfficialGenerate candidate invariants and counterexamples for theorem artifacts.
Education & Research#theorem proving#Rust#mathematical exploration#invariant search#counterexample discovery
AuthorUnified-Field-Theory-Research
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill automates the search for candidate invariants, recurrences, Lyapunov functions, or counterexamples over executable theorem artifacts, streamlining the exploration of mathematical conjectures.
Core Features & Use Cases
- Candidate Invariant Search: Identifies potential invariants in theorem artifacts.
- Recurrence Detection: Finds recurring patterns in mathematical expressions.
- Lyapunov Function Generation: Creates Lyapunov functions for stability analysis.
- Counterexample Discovery: Searches for counterexamples to challenge existing theorems.
- Use Case: For a given theorem, use this Skill to generate candidate invariants that could potentially simplify or extend the theorem's scope.
Quick Start
Run the gpd-evolve-invariant skill to search for invariants in the theorem artifact 'theorem_artifact.txt'.
Dependency Matrix
Required Modules
None requiredComponents
scripts
💻 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: gpd-evolve-invariant Download link: https://github.com/Unified-Field-Theory-Research/finite-capacity-causal-geometry/archive/main.zip#gpd-evolve-invariant 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 620,000+ vetted skills library on demand.