Research

Problem-solving strategies for propositional logic in mathematical logic

Problem-solving strategies for proof theory in mathematical logic

Problem-solving strategies for predicate logic in mathematical logic

Problem-solving strategies for source coding in information theory

Problem-solving strategies for entropy in information theory

Problem-solving strategies for prime numbers in graph number theory

Problem-solving strategies for modular arithmetic in graph number theory

Problem-solving strategies for operator theory in functional analysis

Problem-solving strategies for banach spaces in functional analysis

Problem-solving strategies for analytic functions in complex analysis

Problem-solving strategies for natural transformations in category theory

Rapid ideation skill adapted from obra/superpowers to kick off cortex sessions. Use when defining scope, aligning on goals, or exploring solution space before coding.

Flip, remove, or exaggerate assumptions to unlock new solution angles.

Technical research methodology using Context7, Exa, and Sequential Thinking for documentation, best practices, and complex investigations.

Use after 2 consecutive failed attempts at solving a problem - STOP guessing and research documentation, codebase, and online resources before resuming

Use before starting implementation - research repository documentation, codebase patterns, and external resources to inform the approach

Expert product discovery guidance for user research and problem validation. Use when conducting user interviews, validating problems, applying jobs-to-be-done framework, sizing opportunities, customer segmentation, competitive analysis, prototype testing, usability testing, designing surveys, or synthesizing research insights. Covers discovery sprints, continuous discovery, and research operations.

Problem analysis using Explore agents

深度调研的多Agent编排工作流：把一个调研目标拆成可并行子目标，用 Claude Code 非交互模式（`claude -p`）运行子进程；联网与采集优先使用已安装的 skills，其次使用 MCP 工具；用脚本聚合子结果并分章精修，最终交付"成品报告文件路径 + 关键结论/建议摘要"。用于：系统性网页/资料调研、竞品/行业分析、批量链接/数据集分片检索、长文写作与证据整合，或用户提及"深度调研/Deep Research/Wide Research/多 Agent 并行调研/多进程调研"等场景。

This skill should be used when the user asks to "research a topic", "deep research", "investigate thoroughly", "multi-source research", "comprehensive analysis", or needs to conduct research across web, documentation, and memory sources.

This skill calculates key financial ratios and metrics from financial statement data for investment analysis

"This skill should be used when the user asks to 'define quality requirements',

"This skill should be used when the user asks to 'model the domain',

Conduct preliminary research on a topic and generate research outline. For academic research, benchmark research, technology selection, etc.