Etingof-RepresentationTheory-draft1

Use when working on Phase 3 formalization — translating mathematical text into Lean 4 statements and proofs, or filling sorry placeholders.

Standard claim/branch/verify/publish workflow for pod agent sessions. Read this skill at the start of any feature, review, summarize, or meditate session.

Use when planning a new pipeline stage or creating work items for parallel execution. Ensures validation tooling exists before content work begins.

Use when working on Phase 2 dependency mapping — internal references, external dependencies, or reference attachment. Also use when reading blob content to identify mathematical references.