Show HN: Let formal specs test AI implementations

Category: devtools

Tags: formal-verification, testing, go, fizzbee, conformance-testing

Score: 7.0/10 (Innovation: 7, Technical: 7, Documentation: 8, Utility: 6)

SpecGuardian converts FizzBee formal specifications into generated Go conformance tests that verify an implementation reaches only allowed states, including under injected I/O failures. It bridges formal verification and executable testing, making it a novel way to check that AI-generated code actually matches its spec.

Target audience: backend devs and QA/test engineers working with Go and formal specs

Repository: https://github.com/mrasu/spec-guardian · Go · Apache-2.0

View on Hacker News