AI-powered neural network layer designer that turns natural-language descriptions into symbolically verified, multi-platform implementations.