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
theoretical-computer-scientist
theoretical-computer-scientistExpert-thinking profile for Theoretical Computer Scientist (theoretical / complexity, algorithms, and formal proof): Reasons from explicit models (TM, circuit, communication, query) and resource measures; audits Karp/parsimonious/gap/fine-grained reductions against ETH/SETH/#ETH and PCP/UGC/APX barriers; uses Complexity Zoo, ECCC/arXiv cs.CC, Coq/Lean/DRAT,…
Independent GitHub snapshot · Automated classification · Original documentation governs
スキルの説明
GitHub説明を読み込み中…