All Agent Skills
41,263 results
- LimitsparcadeiProblem-solving strategies for limits in real analysis
- Limits ColimitsparcadeiProblem-solving strategies for limits colimits in category theory
- Loogle SearchparcadeiSearch Mathlib for lemmas by type signature pattern
- MathparcadeiUnified math capabilities - computation, solving, and explanation. I route to the right tool.
- Math HelpparcadeiGuide to the math cognitive stack - what tools exist and when to use each
- Math Intuition BuilderparcadeiDevelops mathematical understanding through examples, visualization, and analogy
- Math Model SelectorparcadeiRoutes problems to appropriate mathematical frameworks using expert heuristics
- Math Progress MonitorparcadeiMetacognitive check-ins during problem solving - detects when to pivot or persist
- Math RouterparcadeiDeterministic router for math cognitive stack - maps user intent to exact CLI commands
- MatricesparcadeiProblem-solving strategies for matrices in linear algebra
- MCP ChainingparcadeiResearch-to-implement pipeline chaining 5 MCP tools with graceful degradation
- MigrateparcadeiMigration workflow - research â analyze â plan â implement â review
- Modular ArithmeticparcadeiProblem-solving strategies for modular arithmetic in graph number theory
- Modular CodeparcadeiModular Code Organization
- Morph ApplyparcadeiFast file editing via Morph Apply API (10,500 tokens/sec, 98% accuracy)
- Morph SearchparcadeiFast codebase search via WarpGrep (20x faster than grep)
- MotparcadeiSystem health check (MOT) for skills, agents, hooks, and memory
- Natural TransformationsparcadeiProblem-solving strategies for natural transformations in category theory
- Nia DocsparcadeiSearch library documentation and code examples via Nia
- No Polling AgentsparcadeiNo Polling for Background Agents
- No Task OutputparcadeiNever Use TaskOutput
- Numerical IntegrationparcadeiProblem-solving strategies for numerical integration in numerical methods
- Observe Before EditingparcadeiObserve Before Editing
- OnboardparcadeiAnalyze brownfield codebase and create initial continuity ledger