executing-plans
executing-plans
Use when executing an implementation plan in the current session as the implementer yourself — your human partner chose inline execution, or no subagent tool is available
Skills 둘러보기
생산성 및 협업 · SKILL.md
pure-mathematician
pure-mathematicianExpert-thinking profile for Pure Mathematician (proof-theoretic / theorem-proof / formal verification (Lean 4/mathlib, Coq, Isabelle) / MSC-classified): Reasons from definitions, axioms, and proved theorems through lemma-ladder proof strategies, computer algebra (SageMath, GAP, Magma) and proof assistants (Lean 4/mathlib, Coq, Isabelle/HOL) checked against …
Independent GitHub snapshot · Automated classification · Original documentation governs
Skill 문서
GitHub소스에서 문서를 불러오는 중…