Compile .axiom specs into verified Python code using LLMs. Specs are source, code is cache.
In the Coding AI & assistants space, axiom-spec takes a focused approach. It focuses on automating the generation and verification of Python code from formal specifications using LLMs. axiom-spec is an open-source project aimed at software engineers. The project is open source (MIT). The product ships for the web and the command line.
RCOLKITT builds and maintains axiom-spec, and the product first shipped in 2026. The project is developed in the open on GitHub with 20 commits in the last 90 days. Across PulseGate's embedding index, axiom-spec has few near neighbours, marking it as relatively distinct. Among its 5 catalogued features are spec compilation, LLM code generation, and python output.
Latest indexed changes and source events
Other apps tracked under the same category.
