catalog-sync
CommunityAutomatically update catalogs with latest Lean theorems.
Authorjmg2027
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Automates the synchronization of catalog files with newly added theorems and constants from Lean files, ensuring the library stays current and accurate.
Core Features & Use Cases
- Detects changes in Lean files using git diffs to identify new results and theorems.
- Maps new atomic integers, physical constants, and mathematical results to appropriate catalogs.
- Automatically appends precise markdown entries to updated catalog files, streamlining library maintenance.
- Facilitates continuous integration workflows for mathematical and physics library management.
Quick Start
Use the catalog-sync skill to automatically incorporate new results from recent Lean file updates into the catalogs.
Dependency Matrix
Required Modules
None requiredComponents
scriptsreferences
💻 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: catalog-sync Download link: https://github.com/jmg2027/Dynamic-Resolution-Lattice-Theory-/archive/main.zip#catalog-sync 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 471,000+ vetted skills library on demand.