formalize-spec

SKILLFlusso di lavorocommunity
v0.0.0bjnewmanMITAggiornato 6 mesi faFonte →

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 →
1Stelle del repo
1Client
1Formati
6 mesi faUltimo aggiornamento
Skill
Autorebjnewman
Versione0.0.0
LicenzaMIT
CategoriaFlusso di lavoro
Formatiskill.md
PromptNon pubblicato
Compatibilità
Claude✓ Supportato
Cursor—
Copilot—
ChatGPT—
Gemini—
Descrizione

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.

Parole chiave
skillclaude