Community-submitted skill. Not yet reviewed by the Forge team. Full prompt content may not be available.Request review → 2Stelle del repo
1Client
1Formati
9 g 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 deciding whether a research claim should enter the optional Lean formalization lane.