con un clic
Etingof-RepresentationTheory-draft1
Etingof-RepresentationTheory-draft1 contiene 4 skills recopiladas de FormalFrontier, con cobertura ocupacional por repositorio y páginas de detalle dentro del sitio.
Skills en este repositorio
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.