The open format is called Agent Skills and works in Claude Code, Codex, Cursor and other agents — most people know it as Claude Skills.
Every Agent Skill we could find on GitHub, deduplicated by content. 79 566 files from 1 758 authors, of which 61 913 are unique — the rest is the same skill repackaged into someone else's repository. For each one: what it weighs in tokens, whether it ships runnable scripts, and which MCP servers it needs.
Problem-solving strategies for limits colimits in category theory
Problem-solving strategies for groups in abstract algebra
Problem-solving strategies for natural transformations in category theory
Problem-solving strategies for analytic functions in complex analysis
Problem-solving strategies for contour integrals in complex analysis
Problem-solving strategies for residues in complex analysis
Problem-solving strategies for hilbert spaces in functional analysis
Problem-solving strategies for banach spaces in functional analysis
Problem-solving strategies for graph algorithms in graph number theory
Problem-solving strategies for operator theory in functional analysis
Problem-solving strategies for modular arithmetic in graph number theory
Problem-solving strategies for prime numbers in graph number theory
Problem-solving strategies for channel capacity in information theory
Problem-solving strategies for entropy in information theory
Problem-solving strategies for source coding in information theory
Problem-solving strategies for eigenvalues in linear algebra
Problem-solving strategies for matrices in linear algebra
Problem-solving strategies for vector spaces in linear algebra
Routes problems to appropriate mathematical frameworks using expert heuristics
Develops mathematical understanding through examples, visualization, and analogy
Metacognitive check-ins during problem solving - detects when to pivot or persist
Problem-solving strategies for predicate logic in mathematical logic
Problem-solving strategies for proof theory in mathematical logic
Problem-solving strategies for integration theory in measure theory
Problem-solving strategies for propositional logic in mathematical logic
Problem-solving strategies for lebesgue measure in measure theory
Problem-solving strategies for sigma algebras in measure theory
Problem-solving strategies for interpolation in numerical methods
Problem-solving strategies for numerical integration in numerical methods
Problem-solving strategies for root finding in numerical methods
Problem-solving strategies for boundary value problems in odes pdes
Problem-solving strategies for first order odes in odes pdes
Problem-solving strategies for constrained optimization in optimization
Problem-solving strategies for second order odes in odes pdes
Problem-solving strategies for convex optimization in optimization
Problem-solving strategies for gradient methods in optimization
Problem-solving strategies for continuity in real analysis
Problem-solving strategies for convergence in real analysis
Problem-solving strategies for limits in real analysis
Problem-solving with Rudin's Real and Complex Analysis textbook
Problem-solving strategies for connectedness in topology
Problem-solving strategies for compactness in topology
Problem-solving strategies for open sets in topology
Research-to-implement pipeline chaining 5 MCP tools with graceful degradation
MCP server registry, auto-discovery, configuration, custom server development guide
MCP Script Rules
Hierarchical memory organization for multi-session context retention. Wings (projects) > Rooms (domains) > Drawers (decisions). Semantic search across all memories with zero cloud dependency.
Migration workflow - research → analyze → plan → implement → review
Modular Code Organization
Document modeling, aggregation pipeline, indexing strategy, change streams, and multi-document transactions.
Fast codebase search via WarpGrep (20x faster than grep)
Fast file editing via Morph Apply API (10,500 tokens/sec, 98% accuracy)
System health check (MOT) for skills, agents, hooks, and memory
Mutation testing ile test suite kalitesini olc. Stryker, mutmut, go-mutesting destegi.
n8n otomasyon workflow'lari. Webhook, cron trigger, API entegrasyon, CI/CD otomasyon.
Search library documentation and code examples via Nia
No Polling for Background Agents
Never Use TaskOutput
OIDC flows, PKCE implementation, token refresh strategies, social login integration, and secure session management.
Structured logging with Pino/Winston, OpenTelemetry tracing, metrics collection, Grafana dashboards, and alerting rules.
Answers built from the skills we actually parsed.