Professional
spec-guardian
spec-guardian can test AI-written code against formal specs
spec-guardian is an open-source GitHub project, shared on Hacker News, that uses formal specifications to check whether AI-built implementations behave the way the spec says. It is aimed at developers who want a clear, written spec to test AI-written code against. The post has very few votes so far, so it is still early.
How to try it
Open the GitHub link and read the project's README file. Then try it on a small project where you already have a formal spec written.
Useful 25%