「spec」の検索結果

Reverse engineer Go-compiled malware using Ghidra with specialized scripts for function recovery, string extraction, and type reconstruction in stripped Go binaries.

日本語の概要は準備中です。原文の説明を表示しています。

ADHD-friendly output shaping for subagent responses. Lead with the next action, number multi-step tasks, end with one concrete next step, suppress tangents, restate state across turns, give specific time estimates, make wins visible, matter-of-fact errors, cap visible lists to 5, no preamble or closers. Loaded by genin, jonin, anbu, tokubetsu-jonin, and chunin when shaping final responses.

日本語の概要は準備中です。原文の説明を表示しています。

Runtime iOS app security testing with Objection (Frida): inspect keychain and filesystem data, explore app internals at runtime, and validate/bypass client-side protections during authorized mobile assessments.

日本語の概要は準備中です。原文の説明を表示しています。

Standard Operating Procedures for technical writing, README creation, API specifications, runbooks, and documentation updates.

日本語の概要は準備中です。原文の説明を表示しています。

Detect Git remote URL for GitHub integration

日本語の概要は準備中です。原文の説明を表示しています。

Break down implementation plans into actionable task lists. Use after planning to create a structured task breakdown. Generates tasks.md with ordered, dependency-aware tasks.

日本語の概要は準備中です。原文の説明を表示しています。

Execute the implementation planning workflow using the plan template to generate design artifacts.

日本語の概要は準備中です。原文の説明を表示しています。

Create a feature branch with sequential or timestamp numbering

日本語の概要は準備中です。原文の説明を表示しています。

Execute all tasks from the task breakdown to build the feature. Use after task generation to systematically implement the planned solution following TDD approach where applicable.

日本語の概要は準備中です。原文の説明を表示しています。

Validate current branch follows feature branch naming conventions

日本語の概要は準備中です。原文の説明を表示しています。

Initialize a Git repository with an initial commit

日本語の概要は準備中です。原文の説明を表示しています。

Convert tasks from tasks.md into GitHub issues. Use after task breakdown to track work items in GitHub project management.

日本語の概要は準備中です。原文の説明を表示しています。

Execute the implementation plan by processing and executing all tasks defined in tasks.md

日本語の概要は準備中です。原文の説明を表示しています。

Generate a custom checklist for the current feature based on user requirements.

日本語の概要は準備中です。原文の説明を表示しています。

Convert existing tasks into actionable, dependency-ordered GitHub issues for the feature based on available design artifacts.

日本語の概要は準備中です。原文の説明を表示しています。

Generate an actionable, dependency-ordered tasks.md for the feature based on available design artifacts.

日本語の概要は準備中です。原文の説明を表示しています。

Create or update the project constitution from interactive or provided principle inputs, ensuring all dependent templates stay in sync.

日本語の概要は準備中です。原文の説明を表示しています。

Create or update project governing principles and development guidelines. Use at project start to establish code quality, testing standards, and architectural constraints that guide all development.

日本語の概要は準備中です。原文の説明を表示しています。

Create or update the project constitution from interactive or provided principle inputs.

日本語の概要は準備中です。原文の説明を表示しています。

Run a live investigation as an operator-driven query loop: the operator runs each query on the live system and pastes the result back, and you guide the investigation one labelled query at a time. Use alongside support-assist (which covers what to investigate) whenever someone is pasting query or command output back from a deployment, especially during an incident. Covers labelling, pacing, making each query decide the next step, version-grounding, and keeping queries cheap and correctly classified.

日本語の概要は準備中です。原文の説明を表示しています。

Draft or refine the implementation checklist from specs and current code

日本語の概要は準備中です。原文の説明を表示しています。

Draft public Tamanu release notes for a given version. Use when the user wants release notes for a Tamanu release (e.g. "draft release notes for v2.45"). Pulls work from the specs and code that landed in that version's release/X.Y branch, plus the matching issues in the trackers (Linear's Tamanu team and Workhorse's Tamanu workspace), reconciles them, and writes docs/release-notes/vX-YY.md in the canonical v2.44 format for project managers and system administrators, plus a styled HTML rendering at .workhorse/design/designs/vX-YY-release-notes.html. Not for developer changelogs or QA test scoping (use scope-tamanu-release-tests for the latter).

日本語の概要は準備中です。原文の説明を表示しています。

Split a working doc into the card's specs, plan, and test cases once its shape is clear

日本語の概要は準備中です。原文の説明を表示しています。

Formally verify programs by writing Lean 4 proofs. Trigger this skill whenever the user wants to formally verify code, generate Lean 4 proofs, prove properties about algorithms or smart contracts, verify invariants, convert program logic into formal specifications, or anything involving Lean 4 and formal verification. Also trigger when the user mentions "qedgen", "lean proof", "formal proof", "verify my code", "prove correctness", "formal verification", or wants mathematical guarantees about their implementation.

日本語の概要は準備中です。原文の説明を表示しています。