math-inc/OpenGauss

About the project

OpenGauss is a project-scoped Lean workflow orchestrator that gives coding agents a command-line interface for managing formal proof and formalization tasks. It is used with Lean projects to coordinate agents, tooling, backend sessions, and workflows supplied by lean4-skills. The catalogue add-ons operate these Gauss-native workflows.

This repository also configures its own agents. See what OpenGauss tells them →

1.3kStars on the repository
102Mods indexed here, across every type
5mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown

math-inc/OpenGauss

Skill Claude CodeCodex

Use when implementing any feature or bugfix, before writing implementation code. Enforces RED-GREEN-REFACTOR cycle with test-first approach.

not rated 1.3k +1 5mo ago A 33 tokens copy · 92% MIT

writing-plans

98

math-inc/OpenGauss

Skill Claude CodeCodex

Use when you have a spec or requirements for a multi-step task. Creates comprehensive implementation plans with bite-sized tasks, exact file paths, and complete code examples.

not rated 1.3k +1 5mo ago A 36 tokens copy · 91% MIT

At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: