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 404 files from 1 741 authors, of which 61 763 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 residues in complex analysis
Problem-solving strategies for banach spaces in functional analysis
Problem-solving strategies for hilbert spaces in functional analysis
Problem-solving strategies for operator theory in functional analysis
Problem-solving strategies for graph algorithms in graph number theory
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
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 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 second order odes in odes pdes
Problem-solving strategies for constrained optimization in optimization
Problem-solving strategies for convex optimization 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 compactness in topology
Problem-solving strategies for connectedness in topology
Problem-solving strategies for open sets in topology
Research-to-implement pipeline chaining 5 MCP tools with graceful degradation
MCP Script Rules
Migration workflow - research → analyze → plan → implement → review
Modular Code Organization
Fast file editing via Morph Apply API (10,500 tokens/sec, 98% accuracy)
Fast codebase search via WarpGrep (20x faster than grep)
System health check (MOT) for skills, agents, hooks, and memory
Search library documentation and code examples via Nia
No Polling for Background Agents
Never Use TaskOutput
Observe Before Editing
Analyze brownfield codebase and create initial continuity ledger
OPC Architecture Understanding
Parallel Agent Type Contracts
Parallel Agent Orchestration
AI-powered web search, research, and reasoning via Perplexity
Unit-aware computation with Pint - convert units, dimensional analysis, unit arithmetic
Planning agent that creates implementation plans and handoffs from conversation context
Identify failure modes before they occur using structured risk analysis
Formal theorem proving with research, testing, and verification phases
Code quality checks, formatting, and metrics via qlty CLI
QLTY During Development
Search past reasoning for relevant decisions and approaches
Query the memory system for relevant learnings from past sessions
Code refactoring workflow - analyze → plan → implement → review → validate
Answers built from the skills we actually parsed.