Convert prose instructions to formal specifications. Use when the user asks to "formalize", "convert to formal spec", "improve a CLAUDE.md", "convert prose to predicates", "make spec more precise", "reduce ambiguity", or wants to convert instruction files (CLAUDE.md, SKILL.md, AGENTS.md) from natura
Convert prose instructions to formal specifications. Use when the user asks to "formalize", "convert to formal spec", "improve a CLAUDE.md", "convert prose to predicates", "make spec more precise", "reduce ambiguity", or wants to convert instruction files (CLAUDE.md, SKILL.md, AGENTS.md) from natural language to structured constraint notation.