Skip to content

Repository files navigation

AntiClodeX

AntiClodeX turns a product description into correct and maintainable AI-generated software using natural-language specs, skills, visual preview, simulation, and formal methods.

About

A platform for correct AI-generated software

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages