opengauss

SKILLFlujo de trabajocomunidad
v0.0.0hoanganhducGPL-3.0Actualizado hace 1 mFuente →

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 →
2Estrellas del repo
1Clientes
1Formatos
hace 1 mÚltima actualización
Skill
Autorhoanganhduc
Versión0.0.0
LicenciaGPL-3.0
CategoríaFlujo de trabajo
Formatosskill.md
PromptNo publicado
Compatibilidad
Claude✓ Compatible
Cursor—
Copilot—
ChatGPT—
Gemini—
Acerca de

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.

Palabras clave
skillclaude

Sin cobertura de dependencias

Esta entrada no publica ningún paquete de npm, así que Forge no tiene un árbol de dependencias para ella. Es una carencia de cobertura, no una afirmación de que no tenga dependencias.