ai-assurance
Evidence-readiness and trust-routing runtime for high-stakes AI-assisted decisions. Turns source packs, RFPs, vendor docs, and risk files into human-review packets with evidence gaps, weak claims, owner actions, and decision-readiness routing.
A neural network verification tool based on the DPLL(T) SMT Solving algorithm.
Scan AI models for problems
Local-first AI coding assistant with adversarial model testing, transparent context management, and cryptographic audit trails
