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 your AI/ML models for problems before you put them into production.
Local-first AI coding assistant with adversarial model testing, transparent context management, and cryptographic audit trails
