Show HN: Let formal specs test AI implementations

The "Let formal specs test AI implementations" project enables the use of formal specifications to validate AI implementations, enhancing reliability and transp