Agent skills
Skills you can use with AI coding agents, indexed from public GitHub repositories.
-
project-encyclopedia
[DEPRECATED] Use project-level AGENTS.md files instead. Previously used for first-session codebase onboarding and persistent glossary creation.
axiomantic/spellbook 5
-
reviewing-impl-plans
Use when reviewing implementation plans before execution. Triggers: 'is this plan solid', 'review the plan', 'check before I start building', 'anything missing from this plan', 'will this plan work', 'audit the implementation plan'. NOT for: reviewing design documents (use reviewing-design-docs) or creating plans (use writing-plans).
axiomantic/spellbook 5
-
artifact-guidelines
Guidelines for writing reports, organizing files, and generating code artifacts
sunxd3/bayesian-statistician-plugin 1
-
stan-coding
Best practices for writing efficient, clean Stan programs
sunxd3/bayesian-statistician-plugin 1
-
bayesian-workflow
Use when performing Bayesian statistical analysis, building probabilistic models, or when the task involves prior specification, posterior inference, or predictive checks.
sunxd3/bayesian-statistician-plugin 1
-
visual-predictive-checks
Guidelines for visual predictive checks following Säilynoja et al. recommendations using ArviZ
sunxd3/bayesian-statistician-plugin 1
-
convergence-diagnostics
MCMC convergence diagnostics using CmdStanPy and ArviZ
sunxd3/bayesian-statistician-plugin 1
-
python-environment
Python environment setup with uv, shared utilities, and script structure guidelines.
sunxd3/bayesian-statistician-plugin 1
-
stan-ode-modeler
Guidelines for Stan models with ODE-based dynamics using modern interfaces
sunxd3/bayesian-statistician-plugin 1
-
refactor
Analyse Python code for refactoring opportunities using functional programming principles, code quality checks, and manual refactoring guidance. Use when user wants to improve code quality, check for code smells, or refactor to functional style.
sofer/social-value
-
social-value-report
Generate the social value report from CSV inputs by detecting CSVs, anonymising them, and producing a month-by-month markdown report.
sofer/social-value
-
docus-playground
Sample skill for testing the Docus agent skills discovery feature. Use to verify that /.well-known/skills/ routes work correctly.
nuxt-content/docus 2,677
-
create-docs
Create complete documentation sites for projects. Use when asked to:
"create docs", "add documentation", "setup docs site", "generate docs",
"document my project", "write docs", "initialize documentation",
"add a docs folder", "create a docs website". Generates Docus-based sites
with search, dark mode, MCP server, and llms.txt integration.
nuxt-content/docus 2,677
-
review-docs
Review documentation for quality, clarity, SEO, and technical correctness.
Optimized for Docus/Nuxt Content but works with any Markdown documentation.
Use when asked to: "review docs", "check documentation", "audit docs",
"validate documentation", "improve docs quality", "analyze documentation",
"check my docs", "review my documentation pages", "validate MDC syntax",
"check for SEO issues", "analyze doc structure".
Provides actionable recommendations categorized by priority (Critical, Important, Nice-to-have).
nuxt-content/docus 2,677
-
design_documents
Co-author design docs and propose section-by-section requirement edits
snease/blockprints
-
lsp-enable
Use when navigating code, understanding unfamiliar functions, finding definitions or references, tracing call hierarchies, preparing for refactoring, or analyzing code impact. Enforces LSP-first semantic code intelligence with mandatory pre-edit checks, impact analysis before refactoring, and post-edit diagnostics. Provides IDE-like precision for code operations in large codebases. Covers navigation (goToDefinition, findReferences), understanding (hover, documentSymbol), and call analysis (incomingCalls, outgoingCalls).
zircote/lsp-tools 2
-
lean4
Use when editing .lean files, debugging Lean 4 builds (type mismatch, sorry, failed to synthesize instance, axiom warnings, lake build errors), searching mathlib for lemmas, formalizing mathematics in Lean, or learning Lean 4 concepts. Also trigger when the user asks for help with Lean 4, mathlib, or lakefile. Do NOT trigger for Coq/Rocq, Agda, Isabelle, HOL4, Mizar, Idris, Megalodon, or other non-Lean theorem provers.
cameronfreer/lean4-skills 190
-
codebase-agent
Expert coding agent for this codebase. Learns from every session to improve
code quality, catch edge cases, and apply proven patterns. Use for ANY coding
task: writing, debugging, refactoring, testing. Accumulates project knowledge.
harivansh-afk/claude-continual-learning 2
-
every-style-editor
This skill should be used when reviewing or editing copy to ensure adherence to Every's style guide. It provides a systematic line-by-line review process for grammar, punctuation, mechanics, and style guide compliance.
nbbaier/compound-engineering-amp 1
-
compound-docs
Capture solved problems as categorized documentation with YAML frontmatter for fast lookup
nbbaier/compound-engineering-amp 1
-
file-todos
This skill should be used when managing the file-based todo tracking system in the todos/ directory. It provides workflows for creating todos, managing status and dependencies, conducting triage, and integrating with slash commands and code review processes.
nbbaier/compound-engineering-amp 1
-
dspy-ruby
This skill should be used when working with DSPy.rb, a Ruby framework for building type-safe, composable LLM applications. Use this when implementing predictable AI features, creating LLM signatures and modules, configuring language model providers (OpenAI, Anthropic, Gemini, Ollama), building agent systems with tools, optimizing prompts, or testing LLM-powered functionality in Ruby applications.
nbbaier/compound-engineering-amp 1
-
git-worktree
This skill manages Git worktrees for isolated parallel development. It handles creating, listing, switching, and cleaning up worktrees with a simple interactive interface, following KISS principles.
nbbaier/compound-engineering-amp 1
-
andrew-kane-gem-writer
This skill should be used when writing Ruby gems following Andrew Kane's proven patterns and philosophy. It applies when creating new Ruby gems, refactoring existing gems, designing gem APIs, or when clean, minimal, production-ready Ruby library code is needed. Triggers on requests like "create a gem", "write a Ruby library", "design a gem API", or mentions of Andrew Kane's style.
nbbaier/compound-engineering-amp 1