A code knowledge graph grounded in formal methods

AxiomCode is a code knowledge graph built using formal methods and type-checking rules to improve AI agent accuracy and code correctness across Java, TypeScript, Python, JavaScript, and C#. The tool resolves function calls accurately by mimicking compilers rather than relying on naive syntax matching, which helps prune irrelevant codebase paths and reduce missed dependencies. Benchmarks across open-source projects show high call resolution and cross-file recovery rates compared to CST-based builders. Open article →