Loading...
Loading...
Found 3416 skills
GrupoUS
Creates research-driven, execution-ready implementation plans using web research and structured reasoning.
YuniorGlez
Enables deep search through historical and archived files for efficient information retrieval and analysis.
Arthur742Ramos
Constructs rewrite equivalence proofs using transitivity, congruence, and canonical lemmas for path equalities and quotients in the ComputationalPaths library.
Arthur742Ramos
Constructs rewrite equivalence proofs using transitivity, congruence, and canonical lemmas for the ComputationalPaths library.
Arthur742Ramos
Automates path simplification, normalization, and auto-tactics for structured calc-based proofs in formal verification.
jwynia
Analyzes and diagnoses requirements problems to uncover underlying business needs and constraints.
vocalbridgeai
View call logs for Vocal Bridge voice agent, listing recent calls and displaying session details including transcripts.
jwynia
Systematically transforms vague business requirements into concrete decisions by analyzing actual needs versus assumed solutions.
jwynia
Diagnoses research quality and guides systematic query expansion for thorough information gathering during academic or market research.
jwynia
Systematically verifies social media claims and viral content by decomposing multi-part assertions and separating factual evidence from interpretation.
Unicorn
Read-only agent for exploring codebases and searching documentation to aid information gathering without modification.
savvy-web
Enables full-text search across design documentation to quickly locate specific topics, decisions, and patterns in design files.
dotneet
Enables real-time web search, research analysis, and reasoning via Perplexity API for up-to-date information retrieval.
pgallardo
Provides reviewer-style critiques of machine learning conference papers, identifying weaknesses, claim-evidence gaps, and missing citations to anticipate reviewer concerns.
jwwelbor
Conducts market research, competitive analysis, and feasibility assessments to gather context for product discovery and stakeholder alignment in the product development lifecycle.
kchapl
Provides expertise in bibliographic data, book classification, and citation formats for organizing and managing book collections to support research workflows.
jwwelbor
Systematically analyzes codebases to understand structure, patterns, dependencies, and existing implementations for informed development decisions.
zeyxx
Evaluates code, decisions, and content via CYNIC's 25-dimension system, providing Q-Score, verdict, and dimension breakdown.
pocketzworld
Answers technical questions about the Highrise Studio Lua API by researching its official documentation.
lshtram
Simulates debates between competing viewpoints to uncover hidden biases and blind spots in decision-making processes.
agoodway
Enables multi-specialist collaborative analysis to dissect and comprehend the functionality of software features, components, and systems.
lshtram
Validates API and library versions via external search to prevent technical hallucinations.
StackOneHQ
Automates competitive market analysis reports for StackOne competitors based on user requests.
mhagrelius
Conducts comprehensive research across multiple sources, synthesizing information for technical, market, or complex domain analysis.