formal-skeleton-helper

Name: formal-skeleton-helper
Author: hoanganhduc

SKILLWorkflowcommunity

v0.0.0hoanganhducGPL-3.0Updated 1mo agoSource →

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 stars

1Clients

1Formats

1mo agoLast update

Skill

Authorhoanganhduc

Version0.0.0

LicenseGPL-3.0

CategoryWorkflow

Formatsskill.md

PromptNot published

Compatibility

Claude✓ Supported

Cursor—

Copilot—

ChatGPT—

Gemini—

About

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

Keywords

skillclaude

No dependency coverage

This entry publishes no npm package, so Forge has no dependency tree for it. That is a gap in coverage — not a statement that it has no dependencies.