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.
中文简介正在准备中。当前显示原文说明。
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.
中文简介正在准备中。当前显示原文说明。
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.
中文简介正在准备中。当前显示原文说明。
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.
中文简介正在准备中。当前显示原文说明。
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.
中文简介正在准备中。当前显示原文说明。
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'.
中文简介正在准备中。当前显示原文说明。
TypeScript best practices. Use when reading or editing any .ts or .tsx file.
中文简介正在准备中。当前显示原文说明。
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.
中文简介正在准备中。当前显示原文说明。
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.
中文简介正在准备中。当前显示原文说明。
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.
中文简介正在准备中。当前显示原文说明。
Summarize authored commits over a user-specified time period into a concise update
中文简介正在准备中。当前显示原文说明。
Cut AI tells from any writing.
中文简介正在准备中。当前显示原文说明。
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.
中文简介正在准备中。当前显示原文说明。
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.
中文简介正在准备中。当前显示原文说明。
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.
中文简介正在准备中。当前显示原文说明。
Apply when you write, change, or keep a test. Assert what the code's users can observe, so that the test fails when that behavior breaks and keeps passing when only the internals change.
中文简介正在准备中。当前显示原文说明。
Apply when sequencing an addition, refactor, or rewrite. Remove dead code, redundant validators, and stub references first, then build on the simpler base.
中文简介正在准备中。当前显示原文说明。
Find failing PR checks, inspect logs or external check links, and apply focused fixes
中文简介正在准备中。当前显示原文说明。
poteto's agent style for concise, detailed responses, deliberate subagents, unslopped prose, simple code, and verified work. Use for poteto, /poteto-mode, or requests to work in this style.
中文简介正在准备中。当前显示原文说明。
Apply when concurrent actors might write to the same file, branch, key, or state object. Eliminate the sharing first; serialize structurally only when one shared writer is a real invariant.
中文简介正在准备中。当前显示原文说明。
Resolve merge conflicts non-interactively, validate build and tests, and finalize conflict resolution
中文简介正在准备中。当前显示原文说明。