Community-submitted skill. Not yet reviewed by the Forge team. Full prompt content may not be available.Request review → 2Étoiles du dépôt
1Clients
1Formats
il y a 9 jDernière mise à jour
Skill
Auteurhoanganhduc
Version0.0.0
LicenceGPL-3.0
CatégorieWorkflow
Formatsskill.md
PromptNon publié
Compatibilité
Claude✓ Pris en charge
Cursor—
Copilot—
ChatGPT—
Gemini—
À propos
Use when deciding whether a research claim should enter the optional Lean formalization lane.