ai-assurance
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 9-layer security, adversarial model testing, and cryptographic audit trails. Break your AI before it breaks your code.
