opengauss

SKILLWorkflowcommunity
v0.0.0hoanganhducGPL-3.0Updated 1mo agoSource →

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 →
2Repo stars
1Clients
1Formats
1mo agoLast update
Skill
Authorhoanganhduc
Version0.0.0
LicenseGPL-3.0
CategoryWorkflow
Formatsskill.md
PromptNot published
Compatibility
Claude✓ Supported
Cursor—
Copilot—
ChatGPT—
Gemini—
About

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.

Keywords
skillclaude

No dependency coverage

This entry publishes no npm package, so Forge has no dependency tree for it. That is a gap in coverage — not a statement that it has no dependencies.