opengauss

SKILLWorkflowcommunauté
v0.0.0hoanganhducGPL-3.0Mis à jour il y a 1 moisSource →

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 →
2Étoiles du dépôt
1Clients
1Formats
il y a 1 moisDerniè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 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.

Mots-clés
skillclaude

Aucune couverture des dépendances

Cette entrée ne publie aucun paquet npm : Forge n'a donc pas d'arbre de dépendances pour elle. C'est une lacune de couverture — pas une affirmation qu'elle n'a aucune dépendance.