From the AxiomCode team
Ideas. Evidence.
Progress.
Releases, research, and engineering notes on building
a more reliable future for software.
Articles
02 articlesAxiomCode / Graph
Introducing AxiomCode Graph v0.1.0
A graph builder that gives agents and engineers a clearer view of code. Explore our test-selection results on 748 held-out defects and call-graph benchmarks across Java and TypeScript.
Read the release 3 min read
Code verification with real-world impact
A critical 9.1/10 finding in Spring Cloud. A cascading failure in Keycloak. How connected code verification turned hidden behavior into acknowledged issues and upstream fixes.
Read the case study 7 min read