formalize-problem

What problem does it solve?

It helps researchers formalize broad or vague research questions into clear, specific hypotheses with defined success and failure criteria, enabling targeted investigation and efficient progress.

Core Features & Use Cases

• Hypothesis Formalization: Converts an informal research goal and accompanying literature or notes into structured, falsifiable hypotheses.
• Model Assumption Pinning: Enforces precise system and trust model assumptions, avoiding ambiguity in analysis.
• Scope Definition and Prioritization: Identifies important questions and gaps to focus investigative effort where it matters most.
• Use Case: A researcher wants to verify the security of a cryptographic protocol under specific threat models; this skill guides their formal problem statement, assumptions, and hypotheses.

Quick Start

Invoke the formalize-problem skill with a research goal such as "determine if the security proof in Section 4 holds under asynchrony".