← 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 da6e34e1
source verifying/@da6e34e1
built 2026-05-04T19:11:03Z
NOT YET LIVE

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