RRepoGEO

REPOGEO REPORT · LITE

math-inc/OpenGauss

Default branch main · commit f8763390 · scanned 5/20/2026, 7:38:17 PM

GitHub: 1,206 stars · 105 forks

Scan history for this repo

Score trend below includes all ready runs (older left, newer right; scroll horizontally if needed). The table is collapsed by default—expand for newest-first rows, 10 per page.

Score trend (left → right: older → newer)

2 ready scans. Expand the table below for newest-first rows (10 per page, paginated).

AI VISIBILITY SCORE
30 /100
Critical
Category recall
0 / 2
Not recommended in any query
Rule findings
1 pass · 0 warn · 1 fail
Objective metadata checks
AI knows your name
3 / 3
Direct prompts that named your repo
HOW TO READ THIS REPORT

Action plan is what to do next — copy-pasteable changes prioritized by impact. Category visibility is the real GEO test: when a user asks an AI a brand-free question that should surface math-inc/OpenGauss, does the AI actually recommend you — or your competitors? Objective checks verify the metadata signals AI engines weight first. Self-mention check detects whether AI even knows you exist by name.

Action plan — copy-paste fixes

2 prioritized changes generated by gemini-2.5-flash. Mark items done after you ship the fix.

OVERALL DIRECTION
  • highreadme#1
    Clarify Open Gauss's core purpose and domain in the README's first paragraph

    Why:

    CURRENT
    Open Gauss is a project-scoped Lean workflow orchestrator from Math, Inc. It gives `gauss` a multi-agent frontend for the `lean4-skills` `prove`, `draft`, `review`, `checkpoint`, `refactor`, `golf`, `autoprove`, `formalize`, and `autoformalize` workflows, while staging the Lean tooling, MCP/LSP wiring, and backend session state those workflows need.
    COPY-PASTE FIX
    Open Gauss is a project-scoped Lean workflow orchestrator from Math, Inc. **(Note: This is NOT a relational database.)** It provides a multi-agent frontend for `lean4-skills` workflows like `prove`, `draft`, `review`, `formalize`, and `autoformalize`, managing the Lean tooling, MCP/LSP wiring, and backend session state required for automated theorem proving and formal verification.
  • highabout#2
    Add a concise 'About' description for the repository

    Why:

    COPY-PASTE FIX
    A multi-agent workflow orchestrator for Lean 4, enabling automated theorem proving and formal verification with AI assistance.

Category GEO backends resolved for this scan: google/gemini-2.5-flash, deepseek/deepseek-v4-flash

Category visibility — the real GEO test

Brand-free queries asked to google/gemini-2.5-flash. Did AI recommend you, or someone else?

Same questions for every model — switch tabs to compare answers and rankings.

Recall
0 / 2
0% of queries surface math-inc/OpenGauss
Avg rank
—
Lower is better. #1 = top recommendation.
Share of voice
0%
Of all named tools, what % are you?
Top rival
LangChain
Recommended in 1 of 2 queries
COMPETITOR LEADERBOARD
  1. LangChain · recommended 1×
  2. LlamaIndex · recommended 1×
  3. Haystack · recommended 1×
  4. AutoGPT · recommended 1×
  5. Apache Airflow · recommended 1×
  • CATEGORY QUERY
    How can I orchestrate AI agents for automated theorem proving and formal verification workflows?
    you: not recommended
    AI recommended (in order):
    1. LangChain
    2. LlamaIndex
    3. Haystack
    4. AutoGPT
    5. Apache Airflow
    6. Prefect

    AI recommended 6 alternatives but never named math-inc/OpenGauss. This is the gap to close.

    Show full AI answer
  • CATEGORY QUERY
    What tools help manage and automate Lean mathematical proof development with AI assistance?
    you: not recommended
    AI recommended (in order):
    1. Lean 4
    2. mathlib4
    3. LeanDojo
    4. GPT-f
    5. OpenAI's GPT-4
    6. Google's Gemini
    7. Anthropic's Claude
    8. ProofNet
    9. VS Code
    10. Lean 4 extension

    AI recommended 10 alternatives but never named math-inc/OpenGauss. This is the gap to close.

    Show full AI answer

Objective checks

Rule-based audits of metadata signals AI engines weight most.

  • Metadata completeness
    fail

    Suggestion:

  • README presence
    pass

Self-mention check

Does AI even know your repo exists when asked about it directly?

  • Compared to common alternatives in this category, what is the core differentiator of math-inc/OpenGauss?
    pass
    AI named math-inc/OpenGauss explicitly

    AI answers can be confidently wrong. Read for accuracy: does it match your actual tech stack, audience, and differentiator?

  • If a team adopts math-inc/OpenGauss in production, what risks or prerequisites should they evaluate first?
    pass
    AI named math-inc/OpenGauss explicitly

    AI answers can be confidently wrong. Read for accuracy: does it match your actual tech stack, audience, and differentiator?

  • In one sentence, what problem does the repo math-inc/OpenGauss solve, and who is the primary audience?
    pass
    AI named math-inc/OpenGauss explicitly

    AI answers can be confidently wrong. Read for accuracy: does it match your actual tech stack, audience, and differentiator?

Embed your GEO score

Drop this badge into the README of math-inc/OpenGauss. It auto-updates whenever the report is rescanned and links back to the latest report — easy public proof that you care about AI discoverability.

RepoGEO badge previewLive preview
MARKDOWN (README)
[![RepoGEO](https://repogeo.com/badge/math-inc/OpenGauss.svg)](https://repogeo.com/en/r/math-inc/OpenGauss)
HTML
<a href="https://repogeo.com/en/r/math-inc/OpenGauss"><img src="https://repogeo.com/badge/math-inc/OpenGauss.svg" alt="RepoGEO" /></a>
Pro

Subscribe to Pro for deep diagnoses

math-inc/OpenGauss — Lite scans stay free; this card itemizes Pro deep limits vs Lite.

  • Deep reports10 / month
  • Brand-free category queries5 vs 2 in Lite
  • Prioritized action items8 vs 3 in Lite