776건 · 관련도순
Use when a protocol, concurrent algorithm, or design needs a model-checked TLA+ or Alloy spec, or a TLC or Apalache trace needs reading. Not for choosing when to model: use validation-first-driven.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use when creative work is requested with no approved design, or a raw idea or repository must be developed into an approved design document. Not for work with an approved design in context.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use when an authorized reference surface needs a clean-room frontend reconstruction across static, motion, and responsive fidelity. Not for styling or component work without a reference surface.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use when the user asks why a plan is wrong or says "poke holes in this". Not for tasks that require source or remote-system changes.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use when a task, feature, or fix is called done, complete, finished, or fixed, or before a commit, PR, or next task. Not for fact-checking: use verify-both-ways. Not for measuring: use verify-this.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use when one reviewer is not enough because failure modes are heterogeneous, or a claim needs cross-lens pressure before it ships. Not for collapsing a decision field: use converge.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use when a non-trivial decision sits under uncertainty and correctness matters more than speed. Not for patch review: use review. Not for plan attacks: use load-bearing-assumption-test.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use when a user builds or styles a web frontend or asks to make it not look AI-generated. Not for component-level UI work without the token system: use frontend-ui-engineering.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use when C or C++ code needs memory-safety or undefined-behavior guarantees proved with CBMC, or ACSL contracts checked with Frama-C Eva or WP. Not for choosing the proof policy: use proof-driven.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use when independent proposals on a contested decision need cross-critique before choosing, reusing the original authors. Not for parallel multi-stance investigation: use council.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use when a proof needs Rocq (formerly Coq), including legacy Coq codebase maintenance and migration through the Coq to Rocq rename. Not for Lean 4: use writing-lean-proofs.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use when the user invokes /ios-visual-review to audit an iOS app's visuals on a real device. Not for remote, credential, publish, deploy, or irreversible changes.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use when work is about to grow past the ask, the task may already be done, or the user requests only the minimum. Not for executing the work: use tdd to build or strike-the-root to fix.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use when directing, building, or auditing React/Next.js Tailwind UI: visual direction, responsive/dark-mode retrofits, UX audits. Not for typography or motion: use typography-audit or ui-animation.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use when the user runs /web-design-review with a URL to visually audit and fix a live UI. Not for design direction: use design. Not for variant galleries: use design-variants.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use when any bounded workflow starts or reaches an action, path, proposal, or merge boundary. Refuses rather than default-allow on an unreadable constraint set.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use when asked to build spring, easing, gesture, and choreographed animations with correct physics and reduced-motion support. Not for auditing existing motion or finding animation opportunities.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use when the user asks for a council, second opinions, or parallel investigation. Not for cross-examination of existing proposals: use cross-critique.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use when writing, editing, cleaning, or refactoring Tailwind classes, components, or configuration. Not for read-only audits of Tailwind code, or general CSS without Tailwind.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use when asked to design, write, review, refactor, lint, or performance-diagnose Lean 4 proofs, libraries, or tactics. Not for non-Lean code or changes outside source, API, proof, or linter scope.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use when thumbnail concepts need real-size, accuracy-first scoring without misleading claims. Not for generating thumbnails or declaring winners that fail the accuracy rubric.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use when the user requests axiom, axiom-mode, axiom-compact, formal-logic, or compact form. Not for changing code or remote state.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use when effectful, security-sensitive code needs refinement-typed, SMT-backed verification in F*, in the HACL* or Project Everest style.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use when a rendering path needs stable frame-time, CPU, GPU, and memory evidence against fixed targets. Not for one-shot profiling or visual quality review.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.