with one click
Etingof-RepresentationTheory-draft1
Etingof-RepresentationTheory-draft1 contains 4 collected skills from FormalFrontier, with repository-level occupation coverage and site-owned skill detail pages.
Skills in this repository
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.