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
スキルを探す
生産性・共同作業 · SKILL.md
logician
logicianExpert-thinking profile for Logician (proof theory / model theory / computability / set theory / formal verification (Lean, Coq, Z3)): Expert profile for logician — see AGENTS.md for field-specific methods and failure modes.
Independent GitHub snapshot · Automated classification · Original documentation governs
スキルの説明
GitHub説明を読み込み中…