Documentation

Docs, README files, API references, tutorials, specs, and changelogs

skills in category: 15,637
pages available: 652

Security grades appear on each card once the skill has been scanned. Newly imported skills may briefly show without a grade until the backfill job runs.

Open in full browser

Browse documentation skills

Showing 937–960 of 15,637 skills

003 Name Skill 67718b9aAStep-by-step guide for building goal-driven agents. Creates package structure, defines goals, adds nodes, connects edges, and finalizes agent class. Use when actively building an agent.documentationpythongoVotes: 0GitHub stars: 9
003 Name Skill 6381d003ACreates conventional commits with diff-aware message generation and intelligent staging; use when users ask to commit changes or invoke /commit.documentationbashgitVotes: 0GitHub stars: 9
003 Name Skill 5e0e3b6fFUse Beads (bd tool) for dependency-aware task tracking and long-horizon planning in coding projects. This skill should be used when working on complex multi-step projects that span multiple agent sessions, when discovering new work during implementation, or when explicit task dependency management would improve workflow organization and prevent context loss between sessions.documentationgoshellVotes: 0GitHub stars: 9
003 Name Skill 5cf58d0cAGuidance for building pMARS (portable Memory Array Redcode Simulator) from source. This skill should be used when tasked with compiling pMARS, building Core War simulators from source packages, or creating headless/non-X11 builds of legacy C software from Debian source packages.documentationbashtestingVotes: 0GitHub stars: 9
003 Name Skill 5c9ada26ADocumentation generation workflow covering API docs, architecture docs, README files, code comments, and technical writing.documentationgotestingVotes: 0GitHub stars: 9
003 Name Skill 58ba9957AGuides writing Elixir documentation with @moduledoc, @doc, @typedoc, doctests, cross-references, and metadata. Use when adding or improving documentation in .ex files.documentationgodebuggingVotes: 0GitHub stars: 9
003 Name Skill 57cf2644AExtract transcripts from YouTube videos and generate comprehensive, detailed summaries using intelligent analysis frameworksdocumentationpythongoVotes: 0GitHub stars: 9
003 Name Skill 4b436e6dAUse when beginning any design process - orchestrates gathering context, clarifying requirements, brainstorming solutions, and documenting validated designs to create implementation-ready design documentsdocumentationgogitVotes: 0GitHub stars: 9
003 Name Skill 49e95dffARefactor MoonBit code to be idiomatic: shrink public APIs, convert functions to methods, use pattern matching with views, add loop invariants, and ensure test coverage without regressions. Use when updating MoonBit packages or refactoring MoonBit APIs, modules, or tests.documentationgobashVotes: 0GitHub stars: 9
003 Name Skill 417fc169AUse when checking how complete a companion's context is, what's missing, and what to capture next. Assesses seeding readiness and prioritizes remaining gaps.documentationgodocumentationVotes: 0GitHub stars: 9
003 Name Skill 3f6ac772AFind and patch the water jump velocity inside CCSPlayer_MovementServices_CheckJumpButton in CS2 binary using IDA Pro MCP. This patch changes the water jump velocity from 100.0f to 145.0f by modifying the immediate operand of a mov instruction. Use this skill when reverse engineering CS2 server.dll or server.so to locate and patch the water jump height value. Trigger: water jump patch, CheckJumpButton water velocity, jump height patch, water jump 145documentationVotes: 0GitHub stars: 9
003 Name Skill 3eb0b31bAGuide for designing SKILL.md files with bundled resources and progressive disclosure. Use when: (1) Creating new Skills, (2) Reviewing Skill quality, (3) Refactoring existing Skills for better context efficiency. Triggers: "create skill", "skill design", "SKILL.md"documentationgorefactoringVotes: 0GitHub stars: 9
003 Name Skill 3e1e46b9ATranslate C or C++ programs into equivalent Lean4 code, preserving program semantics and ensuring the generated code is well-typed, executable, and can run successfully. Use when the user asks to convert C/C++ code to Lean4, port C/C++ programs to Lean4, translate imperative code to functional Lean4, or create Lean4 versions of C/C++ algorithms.documentationgoc++Votes: 0GitHub stars: 9
003 Name Skill 3d375dc8AReview project consistency after code changes. Checks if code, design docs, CHANGELOG, and README are aligned. Use after finishing code modifications and before committing.documentationgobashVotes: 0GitHub stars: 9
003 Name Skill 3a1027a8ACreate new agent skills following the Agent Skills specification. Use when asked to "create a skill", "add a new skill", "write a skill", "make a skill", "build a skill", or scaffold a new skill with SKILL.md. Guides through requirements, planning, writing, registration, and verification.documentationpythongoVotes: 0GitHub stars: 9
003 Name Skill 38e5aca1AFind and patch the water jump velocity inside CCSPlayer_MovementServices_CheckJumpButton in CS2 binary using IDA Pro MCP. This patch changes the water jump velocity from 100.0f to 145.0f by modifying the immediate operand of a mov instruction. Use this skill when reverse engineering CS2 server.dll or server.so to locate and patch the water jump height value. Trigger: water jump patch, CheckJumpButton water velocity, jump height patch, water jump 145documentationVotes: 0GitHub stars: 9
003 Name Skill 36c47dfeATranslate Python programs to equivalent Lean4 code while preserving semantics and ensuring type safety. Use when users ask to convert, translate, or port Python code to Lean4, or when they need to verify Python algorithms using Lean4's theorem proving capabilities. Handles functions, classes, data structures, control flow, and ensures the generated Lean4 code is well-typed, executable, and can successfully run.documentationpythongoVotes: 0GitHub stars: 9
003 Name Skill 36bf0b52ACompare vllm requirements files between versionsdocumentationpythongoVotes: 0GitHub stars: 9
003 Name Skill 36652a52AGuide for creating effective AI agent skills. Use when users want to create a new skill (or update an existing skill) that extends an AI agent's capabilities with specialized knowledge, workflows, or tool integrations. Works with any agent that supports the SKILL.md format (Claude Code, Cursor, Roo, Cline, Windsurf, etc.). Triggers on "create skill", "new skill", "package knowledge", "skill for".documentationpythongoVotes: 0GitHub stars: 9
003 Name Skill 30a4884fACreate x402 HTTP clients with Fetch and Axios that automatically handle 402 payments on Algorand. Use when building applications that consume x402-protected APIs, setting up automatic payment handling with wrapFetchWithPayment or wrapAxiosWithPayment, implementing ClientAvmSigner for browser wallets or Node.js private keys, configuring payment policies, or handling 402 payment flows. Strong triggers include "create x402 client", "wrap fetch with payment", "wrap axios with payment", "automatic...documentationtypescriptgoVotes: 0GitHub stars: 9
003 Name Skill 2bddf32cAReviews Elixir code for idiomatic patterns, OTP basics, and documentation. Use when reviewing .ex/.exs files, checking pattern matching, GenServer usage, or module documentation.documentationrustcode-reviewVotes: 0GitHub stars: 9
003 Name Skill 28a1c731AAnalyze formal verification artifacts (Isabelle, Coq, Dafny, etc.) and produce structured reports identifying the precise boundary between verified, assumed, and unverified components. Use when assessing verification coverage, understanding trust boundaries, auditing formal proofs, or documenting verification scope. Reports explicitly list verified code, assumptions, axioms, trusted computing base, and unverified components. Conservative and explicit about verification status without attempti...documentationrustgoVotes: 0GitHub stars: 9
003 Name Skill 27d4a744AGuide for writing, refactoring, and testing MoonBit projects. Use when working in MoonBit modules or packages, organizing MoonBit files, using moon tooling (build/check/run/test/doc/ide etc.), or following MoonBit-specific layout, documentation, and testing conventions.documentationrustgoVotes: 0GitHub stars: 9
003 Name Skill 2068b2ceACreate, audit, and maintain CLAUDE.md documentation files that configure Claude Code for projects. Use this skill when (1) initializing a new project with Claude Code configuration, (2) reviewing or improving existing CLAUDE.md files, (3) organizing project instructions using progressive disclosure patterns, (4) converting repeated instructions into permanent documentation, or (5) setting up agent_docs/ structures for larger codebases. Handles the WHAT/WHY/HOW framework, conciseness optimizat...documentationgobashVotes: 0GitHub stars: 9