Qnarre · axiomatic legal verifier
Every element,
formally checked.
Upload a complaint or filing. Pick a statutory framework. Predicate sub-agents read the natural language; the Lean4 kernel reads only their Booleans. The output is a traceable proof, not a chat. The kernel verifies the inference, never the inputs — the trace shows exactly which predicate or axiom to challenge.
UPLOAD
complaint .md / .pdf · entity bindings · framework chip
AGENT STREAM
predicate sub-agents return ⟨bool, evidence, citation⟩
REPORT
VALID under §1962(c) · element checklist · Lean trace
Encoded frameworks
frameworkstatute citepredicate specselements
civil RICO 18 U.S.C. §§ 1961–1968 28 § 1962(a)(b)(c)(d)
Title VI 42 U.S.C. §§ 2000d et seq. 17 recipient · effect · intent
civil rights 42 U.S.C. §§ 1981 / 1983 / 1985(3) 14 race · state-action · conspiracy
Title IX 20 U.S.C. §§ 1681–1688 21 recipient · program · deliberate indifference