Search Skills

Automates creation of conventional commit messages for Git, ensuring standardized and readable version control history.

Automates plan execution by breaking it into a DAG, validating structure, and selecting the next executable task in SLICES.md.

Automates creation of iterative plan files (plan-1.md to plan-5.md) in repository root with usage constraints and termination at plan-5.

Pressure-tests absolute claims (always/never/guaranteed/optimal) and refines them with explicit boundaries to ensure validity and scope.

Executes code validation loops (formatting, linting, typechecking, building, testing) and reports results for quality assurance.

Guides through preflight checks for bead work, including verification, scope clarification, and criteria confirmation before task initiation.

Enables domain modeling through algebraic structures, type encoding, and law-based testing for correct software design.

Reviews and fixes code with safety guardrails to prevent unsoundness, invariant violations, footguns, and incidental complexity, requiring a validation signal.

Performs precise code refactoring by leveraging function contracts, invariants, and compositional design to ensure minimal, correct changes with verifiable outcomes.

Synthesizes top software design heuristics from Codex sessions, delivering direct best practices without evidence or quotes.

Enforces minimal, validated commits with a test pass per commit to improve code quality and traceability in version control.

Uses TRACE lens (Type, Readability, Atomic, Cognitive, Essential) to explain code and suggest improvements without applying edits.

Automates issue tracking within projects using a `.beads/` directory and `bd` command interface for streamlined workflow management.

Automates Chrome/Chromium browser interactions via CDP for navigation, form filling, JS evaluation, and web scraping.

Runbook for Zig developers covering performance optimization, build systems, comptime patterns, and C interop.

Automates GitHub PR finalization with CI monitoring, squash-merge, and local/remote cleanup.

Clarifies ambiguous requests via research and judgment-focused questions, stopping before implementation to ensure operational alignment.

Creates a ghost-library repository by extracting language-agnostic specifications and tests from an existing codebase.

Automates sequential execution of skill invocations from a markdown list until all bead tasks are completed with no pending work.

Automates converting Markdown project plans into structured bd beads graphs with task dependencies, then optimizes each bead for clarity and efficiency.

Automates pull request creation, CI gate enforcement, surgical fixes, and squash-merging via GitHub CLI.

Provides a structured five-tier strategy portfolio using lateral thinking to evaluate business options and trade-offs for informed decision-making.

Enforces a structured TRACE protocol for code reviews and shipping, requiring explicit steps in pull requests.

Provides a law-driven protocol for software abstraction, emphasizing evidence-based design, seam testing, and executable law verification.