← All status

Qnarre

Qnarre

Axiomatic verifier for legal complaints. Astro + React-island shell fronted by FastAPI; SSE streams predicate events from the proving/ Lean kernel. Early-beta 6/1/2026.

version 92c44ec3
source verifying/@92c44ec3
built 2026-07-04T09:25:01Z
OK

Qnarre app shell — Astro + React island + FastAPI + SSE

Three-zone /app island streams predicate events from proving/ via SSE. Defined-risk lock lives downstream in evaluating/'s sibling.

Qnarre app shell — Astro + React island + FastAPI + SSE Three-zone /app island streams predicate events from proving/ via SSE. Defined-risk lock lives downstream in evaluating/'s sibling. subscribe Astro shell qnarre.quantapix.com React /app island 3 zones SSE channel /events FastAPI uvicorn :8787 lake build subprocess proving kernel RICO + Title VI + §§

Metrics

host
api.qnarre.quantapix.com
uvicornPort
8787
shellProbe
200
apiProbe
200