update-pr-body
Update the body of a GitHub pull request. Use when the user asks to update, edit, or modify a PR description/body.
Explore AI skills for development, content, data and productivity. Compare the description and repository popularity before opening a skill.
Update the body of a GitHub pull request. Use when the user asks to update, edit, or modify a PR description/body.
Monitor Beaker experiments until completion. Use when the user asks to monitor, check, or track a Beaker experiment.
Build and run LLM-powered data processing pipelines with DocETL. Use when users say "docetl", want to analyze unstructured data, process documents, extract information, or run ETL tasks on text. Helps with data...
Problem-solving strategies for connectedness in topology
Build Python agents with Agentica SDK - @agentic decorator, spawn(), persistence, MCP integration
Search library documentation and code examples via Nia
Problem-solving strategies for eigenvalues in linear algebra
Problem-solving strategies for analytic functions in complex analysis
Workflow orchestrator that chains existing skills for feature development
Problem-solving strategies for limits colimits in category theory
Comprehensive testing workflow - unit tests ∥ integration tests → E2E tests
Async REPL Protocol
Problem-solving strategies for boundary value problems in odes pdes
Idempotent Redundancy
MCP Script Rules
Problem-solving strategies for matrices in linear algebra
Problem-solving strategies for contour integrals in complex analysis
Problem-solving strategies for proof theory in mathematical logic
Test-driven development workflow with philosophy guide - plan → write tests → implement → validate
Problem-solving strategies for limits in real analysis
Problem-solving strategies for residues in complex analysis
Parallel Agent Type Contracts
Research agent for external documentation, best practices, and library APIs via MCP tools
Guide to the math cognitive stack - what tools exist and when to use each
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.