Check the dates and amounts before anyone relies on them.
AI can read a contract and say when payment is due or what the liability cap is. QWED Legal recomputes deadlines and amounts exactly, finds clauses that contradict each other, and is clear about which checks are proofs and which are only signals.
What QWED checks here
- Deadlines
- Liability caps
- Contradictory clauses
- Limitation periods
With QWED Legal
In legal work, the arithmetic is where it breaks.
Interpretation needs a lawyer. Dates and numbers should not.
Nobody checked any of it
Without QWED
-
A deadline off by days“Net 30 business days from 20 December” lands on the wrong date once weekends and holidays are counted.
-
A cap worked out wrong“Liability capped at 2x fees” is multiplied incorrectly, and the wrong figure goes into the summary.
-
Clauses that cannot both holdA $10,000 liability cap sits next to a $50,000 minimum penalty, and nobody notices the conflict.
Each one checked before it is used
With QWED
- A deadline off by daysDeadlineGuardThe real date is worked out, and the wrong one is held.VERIFIED · DENY
- A cap worked out wrongLiabilityGuardThe cap is recomputed, and the wrong figure is held.VERIFIED · DENY
- Clauses that cannot both holdContradictionGuardThe solver shows both clauses cannot hold.VERIFIED · DENY
What is proven correct goes through, with a record of why.
QWED returns the decision; your integration acts on it.
What QWED checks
Each check says how strong its answer is. Date and amount checks are exact; clause, citation and fairness checks are signals for a lawyer to review.
- DeadlineGuard
Deadlines
Date and business-day arithmetic that knows about holidays. Exact.
- LiabilityGuard
Liability caps
Cap and tier arithmetic. Exact.
- ContradictionGuard
Contradictory clauses
Uses the Z3 solver to find clauses that cannot both be true.
- StatuteOfLimitationsGuard
Limitation periods
Including California, New York, Texas, Delaware, the UK, Germany, France, Australia and India.
- JurisdictionGuard
Governing law and forum
Checks governing-law and forum combinations.
- ProvenanceGuard
AI disclosure
AI-content disclosure and hash integrity, for rules such as Article 50 of the EU AI Act.
- IRACGuard
Structure of legal reasoning
Whether reasoning follows Issue, Rule, Application, Conclusion.
- ClauseGuard
Clause consistency
A heuristic signal, not a proof.
- CitationGuard
Citation format
A valid format does not prove the cited case exists, so this check never returns verified.
Where it fits
- Your AI
Reads a contract and states a deadline, an amount or a legal claim.
- QWED
Recomputes dates and amounts exactly and checks clauses for contradictions.
- Your systems
Your team relies on proven figures and reviews everything else.
Good to know
- QWED Legal is not a legal reasoning engine and not a replacement for lawyers. Interpretive legal reasoning is never trusted automatically.
- Clause, citation and fairness checks are signals for review, not proofs. The fairness check uses a model you supply.
Get started
Deadlines, amounts and legal claims. Also on npm as @qwed-ai/legal.
pip install qwed-legal