math-inc/OpenGauss
Some data may be outdated — see provenance labels.
None observed · 2026-09-21
Health v2 · maintenance only
45/100
- Activity 67
- Release rhythm 35
- Longevity 15
Flags: no_releases
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-10-21. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 215
- days_rel: n/a
- days_push: 198
- n_releases_24m: 0
Adoption not part of the score
1261 stars · 114 forks observed · 2026-09-21
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
Open Gauss is a project-scoped workflow orchestrator that gives the `gauss` CLI a multi-agent frontend for Lean 4 theorem proving workflows from `lean4-skills`, such as prove, draft, review, autoprove, and autoformalize. It manages project detection, backend session state, MCP/LSP wiring, workflow spawning, swarm tracking, and recovery.
Use cases
- automatically prove theorems in Lean 4 with AI agents
- autoformalize math statements into Lean 4 code
- draft and review Lean 4 proofs with multi-agent workflows
- refactor and golf Lean 4 proofs
- manage a Lean 4 project with checkpointing and recovery
- run swarm agents for formal mathematics
When to choose
- you work with Lean 4 formalization and want AI-agent-assisted proving
- you want a managed CLI orchestrator around lean4-skills workflows
- you need multi-agent swarm tracking and session recovery for proof workflows
When to avoid
- you don't use Lean 4 or formal theorem proving
- you need a general-purpose agent framework unrelated to mathematics
- you want a GUI or web interface rather than a CLI/tmux workflow
Facets
cli-tool · maturity active
agent-framework cli mcp workflow-automation llm-inference developer-tools artificial-intelligence mathematics python cli lean4 theorem-proving formal-verification multi-agent autoformalization tmux math-inc command-line ai-agents macos linux
1 source
- readme: https://github.com/math-inc/OpenGauss · fetched 2026-09-21 · cc2f797f876b
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| math-inc/OpenGauss | main | 45 |
For agents
markdown · JSON · MCP: product_card(name="math-inc/OpenGauss")
Data as of 2026-10-19T08:05:51.212177+00:00 · Report a problem