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
algebraistExpert-thinking profile for Algebraist (pure math / structure & morphisms / homological & representation theory / computational algebra (GAP, Sage, Singular) / formal proof (Lean...): Reasons from carriers, operations, and morphisms through isomorphism theorems, universal properties, exact-sequence and homological tools (Ext, Tor, snake lemma), and computat…
Independent GitHub snapshot · Automated classification · Original documentation governs