Generate a project-local skill that formally verifies the code where a bug costs the most and tests reach the least, in any language, with whichever verification tool fits. Use for /create-formal-verification-skill, "model-check this race", "prove this invariant", or when concurrency, retries, state machines, parsers, or unsafe code need more than tests.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Bring a project's formal verification back in line with the code after the code changes: find the commits that touched verified code, update the model, harness, or properties to describe the code as it is now, rerun, and say whether each failure is drift in the verification or a bug in the code. Use for /maintain-formal-verification-skill, "is the model still true to the code", or after merges and refactors that touched verified code without rechecking it.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Sharpen a task before starting: the expert approach, what the user is really after, and the right level of specification. Use for /sharpen.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Restate in your own words what you think the user's goals are and what problem they're trying to solve. Use for /in-your-own-words.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Comprehensive security and correctness audit of a branch's changes. Use for thermo nuclear, thermonuclear, or deep review requests, or branch/PR diff audits focused on bugs, breaking changes, security issues, devex regressions, and feature-gate leaks.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Launch both thermo-nuclear review subagents in parallel, then synthesize their findings. Use for thermos, double thermo review, or combined bug/security and code-quality branch audits.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Catch the user up on what changed in this chat since their last message, in plain words and small visuals. List every item waiting on them with what they need to decide it from the reply alone. Use for /ketchup.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use for 'why does X work this way', 'why we picked Y', design rationale, regressions, postmortems, or data-backed thresholds. Discovers available MCPs and queries each evidence category (source control, issue tracker, long-form docs, real-time chat, infrastructure observability, error tracking, product analytics warehouse) in parallel, then returns a cited read on decisions and tradeoffs. Use how for runtime behavior.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use only when the user explicitly asks for TDD, a failing test, or a regression test, OR when the bug has an obvious cheap local test target. Skip when the test path is unclear, expensive, integration-heavy, or not requested.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Explain a body of work plainly so a person actually understands it. Runs the `how` and `why` skills and weaves what they find into one clear explanation. Use for 'teach me this', 'help me really understand X', 'explain this change or subsystem to me'.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Layered technical-writing standard: Diátaxis structure, Google developer style sentences, STE instruction rules, Global English syntax. Use for /technical-writing or when writing or reviewing docs, RFCs, readmes, PR descriptions, or commit messages.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Run an extremely strict maintainability review for abstraction quality, giant files, and spaghetti-condition growth. Use for a thermo-nuclear code quality review, thermonuclear review, deep code quality audit, or especially harsh maintainability review.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Summarize authored commits over a user-specified time period into a concise update
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
TypeScript best practices. Use when reading or editing any .ts or .tsx file.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Cut AI tells from any writing.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Apply to multi-step work (sweeps, migrations, runs of similar edits) and to how you stack commits and PRs. Break work into small units that each end in a verifiable state, check each before the next, and order delivery so the sequence proves itself to a reviewer.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Apply when integrating a new requirement into an existing design.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Apply before you trust, report, or act on a number you measured: a speedup, a regression, a throughput, a latency, or an eval result. Find what limits it, and rule out that it measured something other than the work you think.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use for "automate me", "create/update/refresh my -mode skill", "turn/capture my preferences or working style into a skill", or wanting agents to follow how the user works. Drafts or revises a personal -mode skill via plugin-dev:skill-development + unslop, optionally pulling fresh evidence from recent transcripts.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use for "interrogate", "adversarial review", "multi-model review", "challenge this", "stress test this code", "find blind spots", or "tear this apart". Multiple LLM reviewers challenge changes from independent angles.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Spawn the comment-sicko subagent, fix accepted findings, and offer encodings for claimed constraints.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Apply when writing stateful logic, or when code branches a lot or repeats a shape assumption across files.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Apply when product, UX, or feature-scope tradeoffs come up. Choose user delight over implementation convenience; ship fewer polished features over more rough ones.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Sketch types, signatures, and module structure before code, then stay in the loop while implementation fills in. Use for /architect, 'architect this', 'design this', or non-trivial work where jumping to code would lock in the wrong shape.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.