Quantapix

← 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 f1b8c079
source verifying/@f1b8c079
built 2026-07-24T09:25:08Z
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