formalize-spec

SKILLWorkflowcommunauté
v0.0.0bjnewmanMITMis à jour il y a 6 moisSource →

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 →
1Étoiles du dépôt
1Clients
1Formats
il y a 6 moisDernière mise à jour
Skill
Auteurbjnewman
Version0.0.0
LicenceMIT
CatégorieWorkflow
Formatsskill.md
PromptNon publié
Compatibilité
Claude✓ Pris en charge
Cursor—
Copilot—
ChatGPT—
Gemini—
À propos

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.

Mots-clés
skillclaude