Pinned Loading

1. QWED-AI/qwed-verificationQWED-AI/qwed-verificationPublic

   Open-source AI verification infrastructure for deterministic verification of LLM outputs, tool calls, code, schemas, and agent state before production execution.

   Python 57 12

2. learn-llm-from-scratchlearn-llm-from-scratchPublic

   Build and train a 124M parameter language model in one day. Complete tutorial from architecture to text generation.

   Python 5

3. QWED-AI/qwed-learningQWED-AI/qwed-learningPublic

   🎓 Free course on deterministic AI verification and AISecOps. Learn fail-closed AI architecture, formal verification, audit integrity, MCP security, and trust-boundary engineering with QWED-AI.

   Python 10 3

4. QWED-AI/qwed-financeQWED-AI/qwed-financePublic

   Deterministic verification layer for AI-generated financial decisions. Verifies math (NPV, IRR, Black-Scholes, YTM, VaR), compliance (AML/KYC via Z3), and banking schemas (ISO 20022, SWIFT) — fail-…

   Python 3 2

5. QWED-AI/qwed-legalQWED-AI/qwed-legalPublic

   🏛️ Deterministic rejection layer for computational legal claims. Verifies dates, amounts, and structured constraints; blocks unproven legal outputs.

   Python 3 3

6. QWED-AI/qwed-mcpQWED-AI/qwed-mcpPublic

   Deterministic verification gateway for MCP — risk-gated Python execution in a restricted environment, math/logic/code/SQL verification engines, and skill supply-chain provenance guard

   Python 1