Directory
Discover and filter AI agent skills. 27,776 active skills available.
Popular guides from the directory
Start with intent-focused guides, then come back to the full directory when you need broader coverage.
category guide
AI Agents for Marketing
Discover AI agents for marketing workflows, from SEO and content production to campaign research, outreach, and analytics.
category guide
AI Agents for Startups
Explore AI agent skills for startup validation, product research, growth experiments, documentation, and fast execution with small teams.
category guide
AI Agents for Coding
Browse AI agent skills for coding, debugging, testing, refactoring, code review, and developer workflows across Claude, Cursor, and Codex.
best guide
Best AI Skills for Claude
Explore the best AI skills for Claude and Claude Code across coding, research, workflow automation, documentation, and agent operations.
best guide
Top AI Agents for Productivity
See the top AI agent skills for productivity, workflow automation, operational systems, documentation, and everyday task execution.
category guide
AI Agents for Freelancers
Browse AI agent skills for freelancers handling client research, proposals, outreach, delivery systems, documentation, and repeatable admin work.
Results
academic-research
Search academic papers across arXiv, PubMed, Semantic Scholar, bioRxiv, medRxiv, Google Scholar, and more. Get BibTeX citations, download PDFs, analyze citation networks. Use for literature reviews, finding papers, and academic research.
asi-integrated
Unified ASI skill combining ACSets, Gay-MCP colors, bisimulation games, world-hopping, glass-bead synthesis, and triad interleaving for autonomous skill dispersal.
boneh-roughgarden-wev
Boneh-Roughgarden WEV Skill
aptos-orderless-wev
Aptos Orderless WEV Skill
localsend-mcp
P2P file transfer with mutual discovery, voice announcements, and redundant connection methods
turing-chemputer
Cronin's Turing-complete chemputer for programmable chemical synthesis via XDL.
system2-attention
System 2 attention mechanisms for deliberate, slow reasoning in transformer architectures.
synthetic-adjunctions
Synthetic adjunctions in directed type theory for ∞-categorical universal constructions.
elements-infinity-cats
Elements of ∞-Category Theory (Riehl-Verity) for foundational ∞-categorical constructions and model-independence.
duckdb-temporal-versioning
Temporal versioning and interaction history with time-travel queries, causality tracking, and deterministic replay
crn-topology
Chemical Reaction Network topology for generating and analyzing reaction graph structures.
covariant-fibrations
Riehl-Shulman covariant fibrations for dependent types over directed intervals in synthetic ∞-categories.
compression-progress
Schmidhuber's compression progress as intrinsic curiosity reward for learning systems.
assembly-index
Lee Cronin's Assembly Theory for molecular complexity measurement and life detection via assembly index computation.
tailscale-file-transfer
Tailscale mesh VPN file transfer with open games semantics (play/coplay) and bidirectional lens optics
Skill: Reafference & Corollary Discharge (von Holst Neuroscience)
**Category**: Behavioral Verification | Neural Mechanism Implementation
CRDT Skill
No description provided.
bdd-mathematical-verification
BDD-Driven Mathematical Content Verification Skill Combines Behavior-Driven Development with mathematical formula extraction, verification, and transformation using: - Cucumber/Gherkin for specification - RSpec for implementation verification - mathpix-gem for LaTeX/mathematical content extraction - Pattern matching on syntax trees for formula validation Enables iterative discovery and verification of mathematical properties through executable specifications.
CQ-AI: Deterministic Security Scanning with Ternary Polarity
Code Query with AI-enhanced deterministic analysis via SplitMix ternary classification
yoneda-directed
Directed Yoneda lemma as directed path induction. Riehl-Shulman's key insight for synthetic ∞-categories.
Tree-Sitter Analyzer Skill
**Version**: 1.0.0
topos-generate
Topos Generation Skill (PLUS +1)
temporal-coalgebra
Coalgebraic observation of derivation streams with final coalgebra bisimulation for infinite trace verification.
Spectral Random Walker
**Category**: Theorem Discovery + Comprehension