Formalize Problem

Transform a research goal into precise, testable hypotheses with explicit success/failure conditions.

Usage

Invoke this skill by name with the research goal as a quoted string. On slash-command hosts, prefix with / (e.g. /formalize-problem "<goal>").

formalize-problem "determine if the security proof in Section 4 holds under asynchrony"

Instructions

1. Read Inputs