---
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](https://github.com/napoles-uach/gitscience-registry).
The CLI and trusted verifier implementations live separately in
[napoles-uach/gitscience](https://github.com/napoles-uach/gitscience).