Find the skill for your next task.

Browse reusable Agent Skills, each with a clear purpose and practical guidance.

ironclaw-reborn-testing

Use when adding or reviewing tests for Reborn behavior — choosing a test tier, covering a bug fix, testing model/tool-choice behavior, touching tests/integration or tests/fixtures/llm_traces, or when a test needs Postgres, Docker, or a live LLM.

12.52k repo starsObserved in 1 repos
Testing & Quality

mintlify

Build and maintain documentation sites with Mintlify. Use when creating docs pages, configuring navigation, adding components, or setting up API references.

12.52k repo starsObserved in 1 repos
Documents

parallel-pr-review

Use when asked to "review the open PRs", review a batch or stack of pull requests, or run a recurring PR-review pass on a repo — especially with many PRs, stacked branches, conflicts, or security-sensitive changes. Covers grouping, fan-out to review subagents, verdict synthesis, and posting.

12.52k repo starsObserved in 1 repos
Testing & Quality

routine-advisor

Suggests relevant cron routines based on user context, goals, and observed patterns

12.52k repo starsObserved in 1 repos
Productivity

mcp-source

Switch MCP for Unity package source in connected Unity projects. Use /mcp-source [main|beta|branch|local] to swap between upstream releases, your remote branch, or local dev checkout.

12.52k repo starsObserved in 2 repos
Apps & Automation

api-ref-tone

Tone of voice guidance for Highcharts API reference doclets - covering sentence structure, vocabulary, and phrasing patterns for public-facing TS doclets.

12.47k repo starsObserved in 1 repos
Business

tooling

Keep changes aligned with the existing Highcharts tooling stack and avoid introducing ad-hoc or inconsistent build/test infrastructure.

12.47k repo starsObserved in 1 repos
Development

encode

Translate constraint problems into SMT-LIB2 or Z3 Python API code. Handles common problem classes including scheduling, graph coloring, arithmetic puzzles, and verification conditions.

12.46k repo starsObserved in 2 repos
Development

explain

Parse and interpret Z3 output for human consumption. Handles models, unsat cores, proofs, statistics, and error messages. Translates solver internals into plain-language explanations.

12.46k repo starsObserved in 2 repos
Testing & Quality

prove

Prove validity of logical statements by negation and satisfiability checking. If the negation is unsatisfiable, the original statement is valid. Otherwise a counterexample is returned.

12.46k repo starsObserved in 2 repos
Testing & Quality