---
title: "Legal · Solutions"
description: "QWED Legal recomputes contract deadlines and liability caps exactly, finds contradictory clauses, and marks which legal checks are proofs and which are signals."
url: https://qwedai.com/solutions/legal
---

# 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.

[Contact](https://qwedai.com/contact) [Read the documentation](https://docs.qwedai.com/legal/overview)

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 hold** A $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

1.  **A deadline off by days** DeadlineGuard The real date is worked out, and the wrong one is held.

    VERIFIED · DENY
2.  **A cap worked out wrong** LiabilityGuard The cap is recomputed, and the wrong figure is held.

    VERIFIED · DENY
3.  **Clauses that cannot both hold** ContradictionGuard The 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

1.  Your AI

    Reads a contract and states a deadline, an amount or a legal claim.

2.  QWED

    Recomputes dates and amounts exactly and checks clauses for contradictions.

3.  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

-   ### [QWED Legal](https://qwedai.com/platform/legal)

    v0.5.1 Beta

    Deadlines, amounts and legal claims. Also on npm as @qwed-ai/legal.

    ```
    $ pip install qwed-legal
    ```

### Bringing AI into legal work?

Tell us what your AI does and where a mistake would hurt.

[Contact](https://qwedai.com/contact)

## Other fields

-   [Banking and payments](https://qwedai.com/solutions/banking)
-   [Tax](https://qwedai.com/solutions/tax)
-   [Cloud infrastructure](https://qwedai.com/solutions/cloud)
-   [AI agents](https://qwedai.com/solutions/ai-agents)
-   [Software delivery](https://qwedai.com/solutions/software-delivery)