formalize-spec

SKILLWorkflowcommunity
v0.0.0bjnewmanMITUpdated 7mo agoSource →

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

Community-submitted skill. Not yet reviewed by the Forge team. Full prompt content may not be available.Request review →
1Repo stars
1Clients
1Formats
7mo agoLast update
Skill
Authorbjnewman
Version0.0.0
LicenseMIT
CategoryWorkflow
Formatsskill.md
PromptNot published
Compatibility
Claude✓ Supported
Cursor—
Copilot—
ChatGPT—
Gemini—
About

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.

Keywords
skillclaude

No dependency coverage

This entry publishes no npm package, so Forge has no dependency tree for it. That is a gap in coverage — not a statement that it has no dependencies.