**Show HN: Let formal specs test AI implementations**

> Let formal specs test AI implementations. Contribute to mrasu/spec-guardian development by creating an account on GitHub. Spec Guardian Let formal specs test AI implementations. A FizzBee spec describes the state transitions your system allows. However, the spec does not test whether your implementation follows those transitions. SpecGuardian turns FizzBee's results into tests that check whether your implementation r...

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-products
- **发布时间**：2026-11-01 22:11（北京时间）
- **原文**：[打开原文](https://github.com/mrasu/spec-guardian)