opengauss

SKILLFlusso di lavorocommunity
v0.0.0hoanganhducGPL-3.0Aggiornato 1 mesi faFonte →

Use when preparing optional Math Inc. OpenGauss readiness for Lean prove/formalize workflows in the formal research lane. Inert doctor and config guidance only; never auto-installs or claims formal proof from Gauss success.

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 preparing optional Math Inc. OpenGauss readiness for Lean prove/formalize workflows in the formal research lane. Inert doctor and config guidance only; never auto-installs or claims formal proof from Gauss success.

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.