prove
0.00
Formal theorem proving with research, testing, and verification phases
2475 results
(21.1ms)
page 16 / 124
exa-search
0.00
Use when searching for concepts, ideas, or similar content without exact keywords; when user asks "find similar to...", needs semantic discovery, research across perspectives, or explicitly mentions exa
spyfu
0.00
Research competitor keywords and PPC with SpyFu's competitive intelligence.
ahrefs
0.00
Research backlinks and SEO with Ahrefs' comprehensive SEO toolkit.
perplexity-search
0.00
AI-powered web search, research, and reasoning via Perplexity
perplexity-search
0.00
AI-powered web search, research, and reasoning via Perplexity
canifi
0.00
Core LifeOS skill for research, synthesis, and Notion storage workflows
semrush
0.00
Research SEO, PPC, and competitive intelligence with SEMrush's marketing toolkit.
build
0.00
Feature development pipeline - research, plan, track, and implement major features.
Grant Writer
0.00
Craft compelling grant proposals that secure funding for nonprofits and research
cars-com
0.00
Research, buy, and sell cars with comprehensive automotive resources.
buzzsumo
0.00
Research content performance and discover trending topics with BuzzSumo.
keyword_research
0.00
SEO keyword research, search volume analysis and content strategy guide.
knot-theory-educator
0.00
Expert in visualizing and explaining braid theory, knot mathematics, and topological concepts for educational purposes. Use for creating interactive visualizations, explainer cards, step-wise...
research_synthesizer
0.00
Guide to summarizing research findings, extracting insights and creating actionable recommendations.
user_research
0.00
User research methods, interview techniques, persona creation and usability testing guide.
Deep competitive research and monitoring using OSINT techniques and automated tracking
Research market rates, build negotiation strategy, and create counter-offer scripts
moz
0.00
Research SEO metrics and domain authority with Moz's SEO tools.
plan_work
0.00
Guide for planning before coding, repo research, risk analysis and implementation plan creation.