Ready to supercharge your AI agents?

Install any skill in seconds. Free to start, no credit card required.

Gauss (Lean tooling) — measured AI agent skill | DecimalAI

docxology/gauss-open-gauss-cli

SkillScore100Maintained

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/templates/template_active_inference/lean/.

by docxology

Links this skill to your agents and keeps it current with the author’s updates.

Automatic

Coding pack

decimalai skills pull docxology-gauss-open-gauss-cli

Get this skill — curl · raw file

curl -fsSL https://app.decimal.ai/s/docxology-gauss-open-gauss-cli/SKILL.md

Raw file: /s/docxology-gauss-open-gauss-cli/SKILL.md ↗ · machine-readable summary at /s/docxology-gauss-open-gauss-cli.json ↗

In productionGlobal

how this skill behaves on real traffic · last 30 days

No production data for this skill yet — usage numbers appear here once agents start running it.

Anonymized aggregate across every org using this skill — proof from real production use, not a demo.

Does this skill help? · Benchmark: with vs. withoutsign in to run this on your agents

22 test cases from the publisher’s eval.yaml · each run twice on gemini-3.6-flash — with the skill injected, then without · last run 6d ago

—-44% tokens0% turns100% of whole cases pass with skill (22/22)

Test case	Without → With	Effect	Δ tokens	Δ turns
case-03	✗→✓	▲ Improved	-64%	0%
case-09	✗→✓	▲ Improved	-28%	0%
case-11	✗→✓	▲ Improved	-55%	0%
case-13	✗→✓	▲ Improved	-47%	0%
case-19	✗→✓	▲ Improved	-58%	0%

Showing 5 of 22 cases

SkillSafety

✓ 3 of 3 passed

Code scan15 of 15 checks clean

0 critical · 0 warning · 0 info — scanner v4 — 8/1/2026

live_secretremote_code_executionreverse_shelldata_exfiltrationssrf_metadataagent_snoopinganti_refusaldestructive_commandsobfuscated_unicodeunicode_homoglyphopaque_blobsuspicious_urltool_overreachtrigger_abuseprompt_injection_phrasing

IntentSafe

LLM judge · does the skill do what it claims

ContentClean

LLM judge · policy & harmful-content review

Source

Imported

docxology / template

.cursor/skills/gauss/SKILL.md

View on GitHub ↗

License Apache-2.0Imported 8/1/2026Version v1

Skill contents

SKILL.md

Gauss (Lean tooling)

Naming: Open Gauss vs Huawei DBMS.

Public Lean boundary exemplar: projects/templates/template_active_inference/lean/ (lake build).

Want to see if docxology/gauss-open-gauss-cli would activate on your phrasing? Try it before you install — no LLM call, no signup.

Other measured skills in the registry, with their headline benchmark lift.

Ready to supercharge your AI agents?

docxology/gauss-open-gauss-cli

SkillSafety

Source

Gauss (Lean tooling)

Related skills