Research & Search

benbrastmckie Skill

Create phased implementation plans from research findings. Invoke when a task needs an implementation plan.

benbrastmckie Skill

Research skill for Lean 4 theorem prover and Mathlib

benbrastmckie Skill

Research mathematical tasks using domain context and codebase exploration. Invoke for math-language research involving algebra, lattice theory, order theory, topology, and category theory.

benbrastmckie Skill

Research mathematical logic tasks using domain context and codebase exploration. Invoke for logic-language research involving modal logic, Kripke semantics, and related mathematical foundations.

benbrastmckie Skill

Research skill for formal methods and logic verification

benbrastmckie Skill

Research Neovim plugins, Lua configuration, and vimscript. Invoke for neovim-language research.

benbrastmckie Skill

Research physics formalization tasks using domain context and codebase exploration. Invoke for physics-language research involving dynamical systems, chaos theory, and related formalization.

marketer-gq Skill

Analyze user research through the Jobs-to-Be-Done (JTBD) lens using the Bob Moesta / Competing Against Luck framework. Use this skill whenever a PM, product designer, or researcher wants to extract JTBD insights from transcripts, interview notes, or raw observations. Triggers on "analyze this through JTBD", "what's the job to be done", "extract jobs from this transcript", "JTBD analysis", "what are users hiring this for", "four forces analysis", "push pull analysis", "struggling moments", "switching triggers". Also use proactively when someone shares interview transcripts and wants to understand why users switched, what progress they're trying to make, or what's driving adoption. This skill does the analytical heavy lifting that normally takes a researcher hours of manual coding.

marketer-gq Skill

Categorize and tag research highlights, quotes, and observations with themes, sentiment, and connections. Use when a researcher has a set of highlights or quotes from interviews, usability tests, or surveys and needs structured taxonomy applied. Also triggers on tag research data, categorize highlights, organize insights, taxonomy building, code qualitative data, or thematic coding. Outputs tagged highlights with theme labels, sentiment scores, cross-references, and an emergent taxonomy.

marketer-gq Skill

Run digital affinity mapping on research observations, quotes, or notes — grouping related items into clusters, naming clusters, identifying outliers, and showing relationships. Use when a researcher has a large volume of unstructured observations from interviews, usability tests, survey open-ends, or support tickets that need organizing into meaningful groups. Also triggers on affinity diagram, cluster observations, group research notes, sort findings, thematic clustering, or card sorting analysis. Outputs clustered observations with named groups, outlier highlights, and a relationship map.

marketer-gq Skill

Generate participant screening surveys with qualification logic, disqualifiers, scoring rubrics, and attention checks. Use when a researcher needs to recruit the right participants for a study and needs a screener questionnaire. Also triggers on screener survey, recruitment screener, participant screening, screening questions, recruit participants, or participant qualification criteria. Outputs a complete screening survey with questions, response options, scoring logic, and qualification rules.

marketer-gq Bundle

Transform messy interview and research transcripts into clean, analysis-ready documents. Use when a PM or researcher has raw transcripts from Otter, Fireflies, Zoom, Rev, Grain, or other recording tools that need cleaning before analysis. Handles speaker normalization, filler removal, timestamp cleanup, and structural formatting.

marketer-gq Skill

Generate a complete JTBD (Jobs-to-Be-Done) interview moderation guide for product research. Use this skill whenever a PM, product designer, or researcher needs to plan and run a JTBD-style user interview using the Bob Moesta timeline interview method. Triggers on "create interview guide", "write interview questions for JTBD", "help me run a JTBD interview", "what should I ask in a user interview", "interview guide for a product or feature", "moderation guide", "discussion guide", "research script". Also use proactively when someone is preparing for upcoming user interviews and wants a structured approach. Outputs a complete moderation guide with timeline walkthrough, probing questions, and facilitation notes — the kind of guide a PM or designer can pick up and use in 30 minutes of prep.

marketer-gq Skill

Synthesize patterns, themes, and contradictions across multiple research transcripts or notes. Use when a researcher has 5-30 cleaned transcripts (or sets of interview notes) and needs to identify recurring themes, flag contradictions, and map evidence strength. Also triggers on cross-study synthesis, thematic analysis, pattern finding across interviews, or consolidating research findings. Outputs a structured synthesis document with ranked themes, supporting quotes, contradictions, and signals worth investigating.

marketer-gq Skill

Generate semi-structured discussion guides for qualitative research interviews. Use when a researcher has defined research objectives and needs an interview protocol with warm-up questions, core topic blocks, follow-up probes, transition language, and timing estimates. Also triggers on interview guide, interview script, qualitative protocol, moderator guide, or research interview questions. Outputs a ready-to-use discussion guide formatted for moderated research sessions.

lev-os Skill

Multi-platform social research: Twitter/X via Bird CLI and Reddit/TikTok via PostCrawl; aggregate results and generate sentiment/trend reports.

lev-os Skill

[WHAT] Deep Research Intelligence System — Unified research orchestration with recursive confidence, multi-perspective synthesis, and session management. [HOW] Routes based on query complexity: QUICK (brave/firecrawl), STANDARD (multi-tool), DEEP (valyu+oracle) [WHEN] Any research, search, or information gathering task [WHY] Eliminates decision fatigue - one entry point routes to optimal backend(s) Keywords: search, research, deep, oracle, sherlock, social, investigate, analyze

zjj1224073665 Bundle

Scan OzBargain public deal pages, extract current deal candidates, and use AI judgment plus reusable heuristics to surface genuinely strong bargains instead of noisy discounts. Use when the user asks to check OzBargain, find today's best Australian deals, rank real bargains, summarize daily OzBargain posts, or filter OzBargain deal noise.

macquarie-astronomical-adaptive-optics Bundle

Download, organize, and document research papers for AAO workflows using lawful access paths. Use when finding paper metadata, recording DOI and source provenance, saving PDFs into a project convention, or creating paper-download scripts and checks without bypassing access controls.

macquarie-astronomical-adaptive-optics Bundle

Decode NASA research funding through NSPIRES, ROSES, NASA Research Announcements, and related Grants.gov submissions. Use when finding NASA space or Earth-science opportunities, interpreting a ROSES program element, checking foreign-organisation eligibility, deadlines, registrations, or preparing an evidence-backed NASA solicitation brief.

secnova-ai Skill

Email operation risk guard for read/search/summarize/export/forward/delete workflows. Use when tool calls access mailbox content or change mailbox state.

godmode-team Skill

Auto-Research

mothergoose508 Bundle

Research IB EE, IA, and TOK questions using credible sources, source evaluation, counterarguments, and MLA-ready citations.

mothergoose508 Bundle

Run active, evidence-based IB English A Language and Literature SL revision for text knowledge, analysis, comparison, and exam writing; do not use for simply producing finished coursework.

macquarie-astronomical-adaptive-optics Bundle

Find and decode Australian space-project funding through the Australian Space Agency, GrantConnect, business.gov.au, relevant Australian Research Council schemes, and adjacent Commonwealth programs. Use when scanning Australian space grants, checking applicant or partner eligibility, matched funding, eligible expenditure, closing times, registrations, or preparing a source-backed opportunity brief.

spardutti Skill

MUST USE when asked to research, look up, investigate, or find out how something works — a library's API, a tool's config schema, a spec, a version's behaviour, 'what changed in X', 'does Y support Z' — and whenever you are about to state a fact about an external tool you have not opened this session. Enforces primary sources over recollection: route to the right lookup tool, follow every claim to the source that owns it, run the tool's own validator instead of guessing, and mark what stayed unverified.

dezvin Bundle

Conduct adaptive, source-grounded web research in Codex when the user explicitly asks for research or when a current answer depends on multi-question coverage, comparison, contradictions, causal analysis, or a defensible recommendation. Do not use for one simple fact, a known URL, local repository search, tool installation, or requests to run another Deep Research product.

dezvin Bundle

Use for full or partial Jobs to be Done audience analysis, JTBD segmentation, Forces of Progress, client-signal and research-material analysis, and evidence-based refinement of an existing JTBD. Supports unknown audiences, material packs, resuming analyses, and research-brief preparation within a JTBD task. Do not use for generic market research, ordinary interview analysis outside JTBD, ordinary content writing, or automatic canonical-file updates.

lz-creator-master Bundle

研究批判性评审：审查研究主张、方法和实验，形成可执行的补充实验、论证和修订建议。 研究评审、论文批评、实验设计审查、评审后讨论时使用；仅整理摘要时不启用。

aidvizhhub Bundle

РЕСЁРЧ ПЕЩЕРНИКА: кауфми первым, 10+ источников (mandatory), fallback websearch+webfetch, «кауфми лёг», КАУФМИ=БОГ ОГНЯ (проверка pong), как заставить кауфми не лениться, подглядывай у индустрии, ресёрч по всему пути кода, ответ градацией 🟢🟡🔴 (интеграции = 70% провалов), облачные знания. Триггеры: кауфми, ресёрч, копать, еби поиск, 20 источников, чекни, узнай, посмотри, с интернета, проанализируй, чекни кауфми, неоднозначность, спорный вопрос, мнение аналитиков, уже решено, решённая грабля, переизобретение, решение существует. EN: Research: 10+ sources first (mandatory), official docs before blogs, verify facts, grade 🟢🟡🔴. Use when fact-checking, ambiguous questions, "how does industry do it".

aidvizhhub Bundle

ВЫВОД ВСЕГДА + ПРЕДВОСХИЩЕНИЕ: каждый ответ заканчивается выводом-вердиктом (1-2 строки: итог + что это значит / что дальше / что делать человеку) и предвосхищением «ты мог бы спросить: ... → я предусмотрел: ...» (1-2 реально вероятных вопроса, не фантазии). Не доводи до переспроса — неясность закрывай сам (predictive FAQ). Формат полотна: СУТЬ → факты → ВЫВОД → предвиденный вопрос. Триггеры: вывод, вердикт, итог, подведи итог, предвосхити, продумай, переспрос, а что дальше, предвидь вопрос, так?, ответь заранее. EN: Always conclude: 1-2 line verdict + anticipated next question. Use when asked to summarize, wrap up, "so what", give an answer upfront.

daringanitch Skill

Master stock analyst system. Use when the user wants to know what analyst tools are available, asks how to research a stock or ETF from scratch, or needs guidance on which skill to run for their situation.

rogerchappel Skill

Read Only Research

outfitter-dev Bundle

Build with the Trails framework — define trail contracts, open CLI/MCP surfaces, test with examples, debug errors, migrate codebases, run governance. Use when creating trails, adding surfaces, testing, debugging Trails errors, migrating to Trails, running warden, or any work involving @ontrails/* packages.

aqwsde321 Bundle

Run an evidence-based review loop between Codex and ChatGPT through the in-app browser. Use when Codex must create a dedicated ChatGPT review conversation or continue an explicitly selected or URL-supplied ChatGPT conversation, summarize its existing context, wait for login, send a diff or artifact for adversarial review, classify findings, apply and verify supported changes, repeat only when new evidence exists, and rename only chats that may be safely changed.

jwiegley Skill

Resolve NixOS issues using research and sequential thinking. Use when diagnosing or fixing problems on a NixOS host -- failed builds or switches, broken services or modules, configuration errors -- or whenever the user mentions NixOS, nixos-rebuild, or /etc/nixos.