k-dense-ai/differential-geometer
v1.0.0MIT
Reasons from connections, curvature, and holonomy; fixes Lee vs Besse/MTW Riemann signs; uses SageManifolds/xAct/Cadabra, Chern–Weil and Atiyah–Singer index theory, and model-space checks (S^n, flat tori) while treating chart artifacts, torsion misuse, and CAS convention drift as first-class failure modes.
| Version | Commit | Indexed |
|---|---|---|
| 1.0.0latest | 98c7fae46648 | 2026-10-05 |