gauss-open-gauss-cli

Open Gauss in this workspace is the math-inc/OpenGauss gauss CLI for Lean session tooling—not Huawei OpenGauss DBMS. See docs/reference/opengauss-naming.md; for the public Lean exemplar see projects/template_active_inference/lean/.

13 stars

Best use case

gauss-open-gauss-cli is best used when you need a repeatable AI agent workflow instead of a one-off prompt.

Open Gauss in this workspace is the math-inc/OpenGauss gauss CLI for Lean session tooling—not Huawei OpenGauss DBMS. See docs/reference/opengauss-naming.md; for the public Lean exemplar see projects/template_active_inference/lean/.

Teams using gauss-open-gauss-cli should expect a more consistent output, faster repeated execution, less prompt rewriting.

When to use this skill

  • You want a reusable workflow that can be run more than once with consistent structure.

When not to use this skill

  • You only need a quick one-off answer and do not need a reusable workflow.
  • You cannot install or maintain the underlying files, dependencies, or repository context.

Installation

Claude Code / Cursor / Codex

$curl -o ~/.claude/skills/gauss/SKILL.md --create-dirs "https://raw.githubusercontent.com/docxology/template/main/.cursor/skills/gauss/SKILL.md"

Manual Installation

  1. Download SKILL.md from GitHub
  2. Place it in .claude/skills/gauss/SKILL.md inside your project
  3. Restart your AI agent — it will auto-discover the skill

How gauss-open-gauss-cli Compares

Feature / Agentgauss-open-gauss-cliStandard Approach
Platform SupportNot specifiedLimited / Varies
Context Awareness High Baseline
Installation ComplexityUnknownN/A

Frequently Asked Questions

What does this skill do?

Open Gauss in this workspace is the math-inc/OpenGauss gauss CLI for Lean session tooling—not Huawei OpenGauss DBMS. See docs/reference/opengauss-naming.md; for the public Lean exemplar see projects/template_active_inference/lean/.

Where can I find the source code?

You can find the source code on GitHub using the link provided at the top of the page.

SKILL.md Source

# Gauss (Lean tooling)

**Naming:** [Open Gauss vs Huawei DBMS](../../../docs/reference/opengauss-naming.md).

Public Lean boundary exemplar: [`projects/template_active_inference/lean/`](../../../projects/template_active_inference/lean/) (`lake build`).

Related Skills

We are still matching the closest adjacent skills for this page. In the meantime, continue through the full directory.