GitHub
prove
Formal theorem proving with research, testing, and verification phases
☆ 3,508查看技能
全部技能
探索开发、内容、数据与办公效率等 AI 技能。先比较用途和仓库热度，再查看技能说明与来源。
分类目录
全部技能
GitHub
agentica-prompts
Write reliable prompts for Agentica/REPL agents that avoid LLM instruction ambiguity
☆ 3,508查看技能
GitHub
migrate
Migration workflow - research → analyze → plan → implement → review
☆ 3,508查看技能
GitHub
help
Interactive workspace discovery - learn what tools, workflows, agents, and hooks are available
☆ 3,508查看技能
GitHub
agentic-workflow
Agentic Workflow Pattern
☆ 3,508查看技能
GitHub
operator-theory
Problem-solving strategies for operator theory in functional analysis
☆ 3,508查看技能
GitHub
braintrust-tracing
Braintrust tracing for Claude Code - hook architecture, sub-agent correlation, debugging
☆ 3,508查看技能
GitHub
onboard
Analyze brownfield codebase and create initial continuity ledger
☆ 3,508查看技能
GitHub
source-coding
Problem-solving strategies for source coding in information theory
☆ 3,508查看技能
GitHub
natural-transformations
Problem-solving strategies for natural transformations in category theory
☆ 3,508查看技能
GitHub
firecrawl-scrape
Scrape web pages and extract content via Firecrawl MCP
☆ 3,508查看技能
GitHub
rings
Problem-solving strategies for rings in abstract algebra
☆ 3,508查看技能
GitHub
gradient-methods
Problem-solving strategies for gradient methods in optimization
☆ 3,508查看技能
GitHub
graph-algorithms
Problem-solving strategies for graph algorithms in graph number theory
☆ 3,508查看技能
GitHub
rudin-real-complex-analysis
Problem-solving with Rudin's Real and Complex Analysis textbook
☆ 3,508查看技能
GitHub
hook-developer
Complete Claude Code hooks reference - input/output schemas, registration, testing patterns
☆ 3,508查看技能
GitHub
hilbert-spaces
Problem-solving strategies for hilbert spaces in functional analysis
☆ 3,508查看技能
GitHub
completion-check
Completion Check: Verify Infrastructure Is Wired
☆ 3,508查看技能
GitHub
search-hierarchy
Search Tool Hierarchy
☆ 3,508查看技能
GitHub
root-finding
Problem-solving strategies for root finding in numerical methods
☆ 3,508查看技能
GitHub
numerical-integration
Problem-solving strategies for numerical integration in numerical methods
☆ 3,508查看技能
GitHub
morph-search
Fast codebase search via WarpGrep (20x faster than grep)
☆ 3,508查看技能
GitHub
first-order-odes
Problem-solving strategies for first order odes in odes pdes
☆ 3,508查看技能
GitHub
no-polling-agents
No Polling for Background Agents
☆ 3,508查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。