NeuralSAT: A DPLL(T) Framework for Verifying Deep Neural Networks
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
