Agent Skills by jmg2027
Showing 9 vetted skills indexed across 1 GitHub repositories.
jmg20271
ready-to-merge
Audits code repositories before merging for consistency and structural issues.
Community
Advanced
jmg20271
integrate
Merge feature branches into main and verify experiment integrity.
Community
Advanced
jmg20271
handoff
Compile session context into a structured HANDOFF.md document.
Community
Basic
jmg20271
lake-build-verify
Run lake build and analyze Lean project errors and proof completeness.
Community
Basic
jmg20271
catalog-sync
Synchronize catalog files with new theorems and constants from Lean files.
Community
Basic
jmg20271
marathon-start
Guide structured research marathons through blueprint review and phase planning.
Community
Intermediate
jmg20271
verify-consistency
Audit repository consistency across numerical values, references, and documentation.
Community
Advanced
jmg20271
doc-sync
Verify and synchronize project documentation with repository file counts and language content.
Community
Basic
jmg20271
purity-check
Verify Lean 4 proof environments for forbidden axioms and external imports.
Community
Basic