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
Explorer les Skills
Productivité · 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
Documentation de la Skill
GitHubChargement de la documentation depuis la source…