← 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 dbf4392b
source verifying/@dbf4392b
built 2026-06-12T21:16:29Z
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