From 2a8435b2431935ca14590f890f23768dc884b460 Mon Sep 17 00:00:00 2001
From: Xinze-Li-Moqian <70414198+Xinze-Li-Moqian@users.noreply.github.com>
Date: Sun, 28 Jun 2026 19:41:13 -0400
Subject: [PATCH] docs: reframe README as the Riemannian Geometry Challenge

Center hero with the initiative tagline and Powered-by-Astrolabe / Website /
Discord badges; drop the old library-only framing.
---
 README.md | 33 ++++++++++++++++++++++++---------
 1 file changed, 24 insertions(+), 9 deletions(-)

diff --git a/README.md b/README.md
index 18b58418..f5bbb8ef 100644
--- a/README.md
+++ b/README.md
@@ -1,16 +1,30 @@
-# OpenGA
+<h1 align="center">Riemannian Geometry Challenge</h1>
 
-A Lean 4 library for geometric analysis.
+<p align="center"><em>In progress.</em></p>
 
-## Quick Start
+<p align="center">
+A public, open initiative to build Riemannian geometry into a living,<br/>
+machine-verified textbook — a shared foundation anyone can learn from,<br/>
+contribute to, reuse, and build on. Made for everyone.
+</p>
 
-Add the following dependency to your Lean project's `lakefile.lean`:
+<p align="center">
+  <a href="https://github.com/MathNetwork/Astrolabe"><img src="https://img.shields.io/badge/Powered_by-Astrolabe-669aba?style=for-the-badge&labelColor=11111b&logoColor=white" alt="Powered by Astrolabe"></a>
+  &nbsp;
+  <a href="https://events.astrolabe.network/"><img src="https://img.shields.io/badge/Website-events.astrolabe.network-be1420?style=for-the-badge&labelColor=11111b" alt="Website"></a>
+  &nbsp;
+  <a href="https://discord.com/invite/CvfrT34ra"><img src="https://img.shields.io/badge/Discord-Join-5865F2?style=for-the-badge&logo=discord&logoColor=white&labelColor=11111b" alt="Join our Discord"></a>
+</p>
+
+## Use the Lean library
+
+Add the dependency to your `lakefile.lean`:
 
 ```
 require OpenGALib from git "https://github.com/MathNetwork/OpenGA.git" @ "main"
 ```
 
-## Build
+Build:
 
 ```
 lake exe cache get
@@ -21,13 +35,14 @@ Requires Mathlib at the SHA pinned in `lake-manifest.json`.
 
 ## Status
 
-Pre-`v0.1.0`, experimental. PRE-PAPER `sorry`'d statements and narrow structural axioms are tracked with explicit repair plans in module docstrings (search for `**Sorry status**:` / `axiom`).
+Pre-`v0.1.0`, experimental. PRE-PAPER `sorry`'d statements and narrow structural
+axioms are tracked with explicit repair plans in module docstrings (search for
+`**Sorry status**:` / `axiom`).
 
 ## Contributing
 
-The library is designed for downstream research consumption, teaching use, and Mathlib upstream candidacy. Issues and PRs welcome.
+Issues and PRs welcome.
 
 ## License
 
-OpenGA is released under the Apache 2.0 License.
-See the LICENSE file for details.
+Released under the Apache 2.0 License. See the LICENSE file for details.