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.
Why this job: says: knowledge graph; topics: knowledge-graph
Get started
No single install command. Read the steps in the README (opens in new tab)
- Maintenance
- Active
- Last commit yesterday
- Stars
- 573
- +139 this week
- Licence
- Custom
- Read before business use
- Downloads for
- 2 systems
- Mac, Linux
- Latest version
- v0.2.3
- Released 5 days ago
- Built with
- TypeScript
- 47% of the code
Is it looked after?
- Contributors
- 5
- Last 90 days
- Issues
- 94% closed
- 61 still open
- Pull requests
- 946 merged
- 15 waiting
- Releases
- 15
- 15 in the last year
- No contributing guide
- No security policy
- No code of conduct
Similar repos
| Repo | Stars | Last commit | Licence | Downloads for |
|---|---|---|---|---|
| vitali87 / code-graph-rag | 5,347 | yesterday | MIT | Mac, Windows, Linux |
| crabbuild / compass | 175 | 38 days ago | Custom | Mac, Windows, Linux |
| Anandb71 / arbor | 162 | 11 days ago | MIT | Mac, Windows, Linux |
More: download files, languages, topics and project record
Download files, v0.2.3
- Mac2 files, 4 downloads
- Linux2 files, 3 downloads
Languages
- TypeScript 47%
- Python 22%
- C# 10%
- JavaScript 9%
Topics
- ai-agents
- ai-skills
- antigravity
- ast
- change-impact-analysis
- claude-code
- code-analysis
- code-search
- codegraph
- codex
- cursor
- formal-methods
Project record
- JobRAG and search
- StatusListed
- Commits1,982
- Forks91
- Watching22
- Stars in 28 days+491
- CreatedAug 22, 2026
- First seen by usNov 7, 2026
- CheckedNov 10, 2026