formalize-spec

SKILLFlujo de trabajocomunidad
v0.0.0bjnewmanMITActualizado hace 7 mFuente →

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 →
1Estrellas del repo
1Clientes
1Formatos
hace 7 mÚltima actualización
Skill
Autorbjnewman
Versión0.0.0
LicenciaMIT
CategoríaFlujo de trabajo
Formatosskill.md
PromptNo publicado
Compatibilidad
Claude✓ Compatible
Cursor—
Copilot—
ChatGPT—
Gemini—
Acerca de

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.

Palabras clave
skillclaude

Sin cobertura de dependencias

Esta entrada no publica ningún paquete de npm, así que Forge no tiene un árbol de dependencias para ella. Es una carencia de cobertura, no una afirmación de que no tenga dependencias.