Pinned Loading

1. QWED-AI/qwed-verification QWED-AI/qwed-verification Public

   A deterministic verification layer for AI systems. QWED verifies AI outputs using mathematics, symbolic reasoning, and formal methods (Z3, SMT, SymPy), creating an auditable trust boundary for agen…

   Python 57 11

2. learn-llm-from-scratch learn-llm-from-scratch Public

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

   Python 5

3. QWED-AI/qwed-learning QWED-AI/qwed-learning Public

   🎓 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-finance QWED-AI/qwed-finance Public

   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-legal QWED-AI/qwed-legal Public

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

   Python 3 3

6. QWED-AI/qwed-mcp QWED-AI/qwed-mcp Public

   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