lean-strict-verification-gate

Name: lean-strict-verification-gate
Author: hoanganhduc

SKILLFlusso di lavorocommunity

v0.0.0hoanganhducGPL-3.0Aggiornato 1 mesi faFonte →

Use when checking whether a Lean artifact can safely support a research claim.

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 checking whether a Lean artifact can safely support a research claim.

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.