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.
- Stars
- 447 stars
- Forks
- 90 forks
- Language
- TypeScript
- License
- OTHER
- Created
- Aug 22, 2026
- Last push
- Nov 2, 2026
- Updated
- Nov 2, 2026
- ai-agents
- ai-skills
- antigravity
- ast
- change-impact-analysis
- claude-code
- code-analysis
- code-search
- codegraph
- codex
- cursor
- formal-methods
- gemini
- knowledge-graph
- mcp
- token-optimization
- tree-sitter
- verification-code
Admitted to the Repository Index on Oct 23, 2026: +104 stars in 7 days.
Star History
60 days recorded, Sep 5, 2026 – Nov 3, 2026 (UTC). Net change +462 stars.
The star count of each day is the latest count less the net stars of the later days.
Add this Star History to a README
The images follow the light or dark theme of the page that shows them, and update every hour. Add ?theme=light or ?theme=darkto the chart address to keep one theme.
Star History chart
[](https://awesomerepos.com/AxiomCodeAI/axiomcodegraph)Badge
[](https://awesomerepos.com/AxiomCodeAI/axiomcodegraph)Timeline
This repository got 39 stars on Oct 6, 2026, its largest day since Sep 5, 2026.
It gained stars on 34 of the 60 days with a record.
Its largest 7 days were Oct 26, 2026 to Nov 1, 2026: 131 stars.
In the 30 days to Nov 3, 2026 it got 452 stars, 4420% more than in the 30 days before.
It reached 100 stars on Oct 14, 2026, 53 days after it was created.
- Created on the Repository Host
- Largest star day recorded: +39 stars
- Reached 100 stars
- +27 stars in one day
- Entered the Repository Index: +104 stars in 7 days
- +29 stars in one day
- Latest push
From the Repository Host's creation date, the Admission, the Star History, and the Observations. Star milestones show only when the Star History records the day.
Forks and pushes
From 11 Observations, Oct 24, 2026 – Nov 3, 2026. Forks +67. A new push was seen on 8 of 10 days.
- Oct 25, 2026: new push
- Oct 26, 2026: new push
- Oct 27, 2026: new push
- Oct 28, 2026: new push
- Oct 29, 2026: new push
- Oct 30, 2026: new push
- Oct 31, 2026: new push
- Nov 1, 2026: no new push
- Nov 2, 2026: no new push
- Nov 3, 2026: new push
A filled day: the last push time changed since the Observation before it.
Observations
What the Repository Host reported each day.
| Day (UTC) | Stars | Forks | Last push | Archived |
|---|---|---|---|---|
| Nov 3, 2026 | 447 | 90 | Nov 2, 2026 | No |
| Nov 2, 2026 | 427 | 89 | Oct 30, 2026 | No |
| Nov 1, 2026 | 407 | 89 | Oct 30, 2026 | No |
| Oct 31, 2026 | 393 | 89 | Oct 30, 2026 | No |
| Oct 30, 2026 | 370 | 88 | Oct 29, 2026 | No |
| Oct 29, 2026 | 352 | 85 | Oct 28, 2026 | No |
| Oct 28, 2026 | 334 | 29 | Oct 27, 2026 | No |
| Oct 27, 2026 | 318 | 29 | Oct 27, 2026 | No |
| Oct 26, 2026 | 305 | 27 | Oct 25, 2026 | No |
| Oct 25, 2026 | 276 | 25 | Oct 24, 2026 | No |
| Oct 24, 2026 | 270 | 23 | Oct 18, 2026 | No |