formal-skeleton-helper

Name: formal-skeleton-helper
Author: hoanganhduc

SKILLFlusso di lavorocommunity

v0.0.0hoanganhducGPL-3.0Aggiornato 1 mesi faFonte →

Use when the user wants a minimal Lean-style theorem skeleton, namespace wrapper, or generated formal statement stub.

Community-submitted skill. Not yet reviewed by the Forge team. Full prompt content may not be available.Request review →

2Stelle del repo

1Client

1Formati

1 mesi faUltimo aggiornamento

Skill

Autorehoanganhduc

Versione0.0.0

LicenzaGPL-3.0

CategoriaFlusso di lavoro

Formatiskill.md

PromptNon pubblicato

Compatibilità

Claude✓ Supportato

Cursor—

Copilot—

ChatGPT—

Gemini—

Descrizione

Use when the user wants a minimal Lean-style theorem skeleton, namespace wrapper, or generated formal statement stub.

Parole chiave

skillclaude

Nessuna copertura delle dipendenze

Questa voce non pubblica alcun pacchetto npm, quindi Forge non ha un albero delle dipendenze per essa. È una lacuna di copertura, non l'affermazione che non abbia dipendenze.