formal-skeleton-helper

Name: formal-skeleton-helper
Author: hoanganhduc

SKILLWorkflowCommunity

v0.0.0hoanganhducGPL-3.0Aktualisiert vor 1 Mon.Quelle →

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 →

2Repo-Sterne

1Clients

1Formate

vor 1 Mon.Letzte Aktualisierung

Skill

Autorhoanganhduc

Version0.0.0

LizenzGPL-3.0

KategorieWorkflow

Formateskill.md

PromptNicht veröffentlicht

Kompatibilität

Claude✓ Unterstützt

Cursor—

Copilot—

ChatGPT—

Gemini—

Über

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

Schlagwörter

skillclaude

Keine Abdeckung der Abhängigkeiten

Dieser Eintrag veröffentlicht kein npm-Paket, daher hat Forge keinen Abhängigkeitsbaum dafür. Das ist eine Lücke in der Abdeckung — keine Aussage, dass er keine Abhängigkeiten hat.