AxiomCodeAI / axiomcodegraph
git clone https://github.com/AxiomCodeAI/axiomcodegraph.git
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.
—
stars, 24h
—
stars, 7 days
—
stars, 30 days
244
★ total
23
forks · 88 open issues
Star history starts 2026-10-20; the chart appears after the second daily snapshot.
LanguageTypeScript
License—
Created2026-08-22 (1mo ago)
Last push2d ago
OwnerOrganization
GitHub topics
ai-agentsai-skillsantigravityastchange-impact-analysisclaude-codecode-analysiscode-searchcodegraphcodexcursorformal-methodsgeminiknowledge-graphmcptoken-optimizationtree-sitterverification-code
Links
- GitHub: github.com/AxiomCodeAI/axiomcodegraph
- Homepage: https://www.axiomcode.ai
- Releases · Issues · Hacker News mentions