GitHub
prove
Formal theorem proving with research, testing, and verification phases
☆ 3,508Voir le skill
Explorer
Explorez des skills pour le développement, le contenu, les données et la productivité. Comparez les descriptions et dépôts.
Catégories
Explorer
GitHub
agentica-prompts
Write reliable prompts for Agentica/REPL agents that avoid LLM instruction ambiguity
☆ 3,508Voir le skill
GitHub
migrate
Migration workflow - research → analyze → plan → implement → review
☆ 3,508Voir le skill
GitHub
help
Interactive workspace discovery - learn what tools, workflows, agents, and hooks are available
☆ 3,508Voir le skill
GitHub
agentic-workflow
Agentic Workflow Pattern
☆ 3,508Voir le skill
GitHub
operator-theory
Problem-solving strategies for operator theory in functional analysis
☆ 3,508Voir le skill
GitHub
braintrust-tracing
Braintrust tracing for Claude Code - hook architecture, sub-agent correlation, debugging
☆ 3,508Voir le skill
GitHub
onboard
Analyze brownfield codebase and create initial continuity ledger
☆ 3,508Voir le skill
GitHub
source-coding
Problem-solving strategies for source coding in information theory
☆ 3,508Voir le skill
GitHub
natural-transformations
Problem-solving strategies for natural transformations in category theory
☆ 3,508Voir le skill
GitHub
firecrawl-scrape
Scrape web pages and extract content via Firecrawl MCP
☆ 3,508Voir le skill
GitHub
rings
Problem-solving strategies for rings in abstract algebra
☆ 3,508Voir le skill
GitHub
gradient-methods
Problem-solving strategies for gradient methods in optimization
☆ 3,508Voir le skill
GitHub
graph-algorithms
Problem-solving strategies for graph algorithms in graph number theory
☆ 3,508Voir le skill
GitHub
rudin-real-complex-analysis
Problem-solving with Rudin's Real and Complex Analysis textbook
☆ 3,508Voir le skill
GitHub
hook-developer
Complete Claude Code hooks reference - input/output schemas, registration, testing patterns
☆ 3,508Voir le skill
GitHub
hilbert-spaces
Problem-solving strategies for hilbert spaces in functional analysis
☆ 3,508Voir le skill
GitHub
completion-check
Completion Check: Verify Infrastructure Is Wired
☆ 3,508Voir le skill
GitHub
search-hierarchy
Search Tool Hierarchy
☆ 3,508Voir le skill
GitHub
root-finding
Problem-solving strategies for root finding in numerical methods
☆ 3,508Voir le skill
GitHub
numerical-integration
Problem-solving strategies for numerical integration in numerical methods
☆ 3,508Voir le skill
GitHub
morph-search
Fast codebase search via WarpGrep (20x faster than grep)
☆ 3,508Voir le skill
GitHub
first-order-odes
Problem-solving strategies for first order odes in odes pdes
☆ 3,508Voir le skill
GitHub
no-polling-agents
No Polling for Background Agents
☆ 3,508Voir le skill
Le classement utilise les étoiles du dépôt GitHub indexé. Plusieurs skills peuvent partager ce nombre : ce n’est ni un nombre d’installations ni une note de qualité.