Proof
Prove or disprove a statement against the sources you choose.
Choose an axiom source — your own documents, a law library, an encyclopedia — and a statement. Get back proved, disproved or unresolved, with every step written in plain language and every premise cited.
You send
- — A statement to prove or disprove.
- — An axiom source: a collection you own or are licensed to use, with its version.
- — A search budget: how hard to look before answering unresolved.
You get
- — proved, disproved or unresolved — never a guess between them.
- — The strongest valid chain found: readable statements, the inference joining each step, and a citation for each premise.
- — Material ambiguity and the limits of the source, stated plainly.
Illustrative example
Written by hand to show the shape of a result. Not a live or measured output.
You send
- Source
- Employee handbook, version 2026-09 (customer-owned)
- Statement
- A full-time engineer may book economy flights.
You get
- Result
- proved
- Step 1
- Every full-time engineer is an employee. — Handbook §2.1
- Step 2
- All employees may book economy flights. — Handbook §4.1
- Step 3
- Therefore a full-time engineer may book economy flights. (from 1 and 2)
You send
- Source
- Employee handbook, version 2026-09
- Statement
- Contractors may not book economy flights.
You get
- Result
- unresolved
- Found
- All employees may book economy flights. — §4.1
- Found
- Contractors are not employees. — §2.3
- Why
- The handbook does not say what contractors may book. Neither the statement nor its opposite follows.
What it will not do
- — Fill a gap with an unsupported claim.
- — Treat failure to prove as disproof.
- — Imply a source is true: a proof from a news site, encyclopedia or statute holds only as far as that source does.
- — Offer legal finality or certification.
How you will connect
- HTTPS API.
- Submit a task, follow a durable job, fetch the result.
- MCP.
- One task-specific tool, prove_statement, for agents and assistants.
- WebSocket.
- Progress and the final result for long tasks, resumable after a disconnect.
Results are readable statements, decisions and citations. Internal representations stay private.
Before launch
We are qualifying Proof with invited partners on their own material. Before general availability we will publish the workloads tested, error and abstention rates, and known limits. Until then, treat this page as a description of work in progress.
Bring a task to the pilot