GitHub
prove
Formal theorem proving with research, testing, and verification phases
☆ 3,508View skill
Browse skills
Explore AI skills for development, content, data and productivity. Compare the description and repository popularity before opening a skill.
Categories
Browse skills
GitHub
agentica-prompts
Write reliable prompts for Agentica/REPL agents that avoid LLM instruction ambiguity
☆ 3,508View skill
GitHub
migrate
Migration workflow - research → analyze → plan → implement → review
☆ 3,508View skill
GitHub
help
Interactive workspace discovery - learn what tools, workflows, agents, and hooks are available
☆ 3,508View skill
GitHub
agentic-workflow
Agentic Workflow Pattern
☆ 3,508View skill
GitHub
operator-theory
Problem-solving strategies for operator theory in functional analysis
☆ 3,508View skill
GitHub
braintrust-tracing
Braintrust tracing for Claude Code - hook architecture, sub-agent correlation, debugging
☆ 3,508View skill
GitHub
onboard
Analyze brownfield codebase and create initial continuity ledger
☆ 3,508View skill
GitHub
source-coding
Problem-solving strategies for source coding in information theory
☆ 3,508View skill
GitHub
natural-transformations
Problem-solving strategies for natural transformations in category theory
☆ 3,508View skill
GitHub
firecrawl-scrape
Scrape web pages and extract content via Firecrawl MCP
☆ 3,508View skill
GitHub
rings
Problem-solving strategies for rings in abstract algebra
☆ 3,508View skill
GitHub
gradient-methods
Problem-solving strategies for gradient methods in optimization
☆ 3,508View skill
GitHub
graph-algorithms
Problem-solving strategies for graph algorithms in graph number theory
☆ 3,508View skill
GitHub
rudin-real-complex-analysis
Problem-solving with Rudin's Real and Complex Analysis textbook
☆ 3,508View skill
GitHub
hook-developer
Complete Claude Code hooks reference - input/output schemas, registration, testing patterns
☆ 3,508View skill
GitHub
hilbert-spaces
Problem-solving strategies for hilbert spaces in functional analysis
☆ 3,508View skill
GitHub
completion-check
Completion Check: Verify Infrastructure Is Wired
☆ 3,508View skill
GitHub
search-hierarchy
Search Tool Hierarchy
☆ 3,508View skill
GitHub
root-finding
Problem-solving strategies for root finding in numerical methods
☆ 3,508View skill
GitHub
numerical-integration
Problem-solving strategies for numerical integration in numerical methods
☆ 3,508View skill
GitHub
morph-search
Fast codebase search via WarpGrep (20x faster than grep)
☆ 3,508View skill
GitHub
first-order-odes
Problem-solving strategies for first order odes in odes pdes
☆ 3,508View skill
GitHub
no-polling-agents
No Polling for Background Agents
☆ 3,508View skill
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.