AxiomCodeAI /
axiomcodegraph
Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.
Updated 7 min ago
Why now
Version v0.2.3 came out on November 5.
+122 stars gained this week
Stars gained each day, last 30 days
Usual pace · 14 / day
Oct 9Oct 24
This week Before Usual pace
In short
The README is built around its benchmark and design claims; setup details such as supported languages, installation steps, and how the MCP server is started are not covered in the excerpt. It is used through a CLI and integrates with AI coding agents via MCP.
Summary written by AI from the repository’s description and README.
AxiomCodeAI / axiomcodegraph
View on GitHub(opens in new tab)