title: GitScience Observatory
emoji: 🔬
colorFrom: gray
colorTo: green
sdk: static
app_file: index.html
pinned: false
short_description: Inspect versioned scientific claims and evidence
GitScience Observatory
A public, read-only demonstration of how GitScience can expose versioned scientific claims to human reviewers and language models.
The interface is an evidence board, not a ranking of scientific truth. Every status is scoped to a pinned claim revision and preserves assumptions, limitations, provenance, evidence, and unresolved obligations.
The Formalization view exposes LLM-proposed Lean statements, their explicit mapping to the scientific claim, human semantic approval, and trusted Lean evidence. A successful Lean check establishes the stated logical implication; it does not by itself establish that the formal assumptions faithfully model the physical system. That remaining scientific grounding is shown separately.
The rendered data is compiled from the canonical scientific content in napoles-uach/gitscience-registry. The CLI and trusted verifier implementations live separately in napoles-uach/gitscience.