Open-source runtime verification for AI, licensed under Apache-2.0.
QWED
Contact

Type to search pages, engines and advisories.

    Looking for API details?Search the docs

    Learn

    A free, open course on making AI output provable: why language models cannot be trusted by default, how verification works, and how to build it into real systems. No GPU needed.

    Start the courseWatch the 5-minute introduction

    The model writes the draft. An exact check makes the decision.

    Let the model do what it is good at, drafting and translating, and hand anything that must be exact to a deterministic checker. The course builds that habit from first principles to working code.

    Choose your path

    • Backend developers

      About 90 minutes

      Add verification to the APIs you already run.

      Module 0 → Module 1 → Module 3 → Module 9

      Start here

    • Finance and compliance

      About 2 hours

      Build checks for regulated work, from figures to legal claims.

      Module 1 → Module 2 → Module 6 → Module 11

      Start here

    • AI and ML engineers

      The full course

      Every module, from theory to advanced patterns, and the capstone.

      All modules → Capstone

      Start here

    • Students and researchers

      About 90 minutes

      The theory behind combining models with exact checks.

      Module 2 → Module 1.5 → Module 5 → Module 10

      Start here

    Course map

    1. 0Prerequisites: trust-boundary basics20 min
    2. 1The crisis: why LLMs cannot be trusted by default30 min
    3. 1.5The physics of failure45 min
    4. 2Neurosymbolic theory: how verification works45 min
    5. 3Hands-on: build your first verifier60 min
    6. 4Advanced: patterns and integration45 min
    7. 4.5Production attestation lifecycle60 min
    8. 5The verification landscape45 min
    9. 6Domain-specific verification60 min
    10. 7Context engineering and its limits60 min
    11. 8Agentic integration60 min
    12. 9DevSecOps: CI/CD verification45 min
    13. 10Advanced patterns: RAG and consensus45 min
    14. 11The legal auditor60 min
    15. 12Agentic security guards60 min
    16. 13Secure agent orchestration75 min
    17. 14Infrastructure verification75 min
    18. Capstone: a governed banking agentProject

    Found a mistake or want to add a module? The course takes issues and pull requests like any other QWED repository: QWED-AI/qwed-learning.