AxiomCodeAI/axiomcodegraph
- Total stars
- 129
- Today · UTC
- +2since 18:54 UTC
More actions
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.
Save to My finds to follow releases and star growth. Saved in this browser.
About the project
Builds a knowledge graph of a codebase using formal methods and type resolution, so AI agents understand code structure instead of grepping. Supports Java, TypeScript, Python (JavaScript and C# in beta).
Useful for
- Find all tests affected by a change to a specific function
- Determine which files call a given method through interfaces and subclasses
- Connect the MCP server to an AI agent for code navigation without grep
README summarized by DeepSeek V4.1 Flash. Details may be inaccurate. Read the original README →
Star growth looks organic. Data as of October 14, 2026, 20:06 UTC.
The star-growth assessment does not verify whether the project is safe to run.
Stars per day
Bars show stars per UTC day; the line is a moving average of available history. Gaps mean missing data, not zero growth. Today's bar is incomplete. Red marks spike days.
Why it’s trending
- Star-counter measurements on 2026-10-14 (UTC), 18:54–19:59: 127 → 129 stars (+2). This is the change over that interval.
- Estimated end-of-day forecast: about +3 stars, using observed gains and the previous day.
- The repository is 53 days old and already has 129 stars.
- Hacker News: “Show HN: AxiomCode Graph, Reducing coding agent rework with formal methods” — 10 points, 3 h ago.
Measured growth: the last 7 completed days
New stars over 7 days: 59. +20% versus the preceding 7 days.
Daily measurements · UTC
- October 7, 2026
- 4
- October 8, 2026
- 9
- October 9, 2026
- 8
- October 10, 2026
- 7
- October 11, 2026
- 8
- October 12, 2026
- 11
- October 13, 2026
- 12
Largest measured day in the last 30 days: 42 · October 6, 2026. Days with data: 30.
Completed days come from GitHub star history; today and forecasts are excluded from this comparison. History checked: October 14, 2026, 20:06 UTC. Sources and measurement limits →
Three GitHub discoveries in each edition
What they do, why they are gaining interest, and what to check before using them.
Editions at 10:00, 16:00, 22:00 MSK.
Numbers
- Total stars
- 129
- Today
- +2 stars measured 2026-10-14, 18:54–19:59 UTC, ≈ 3 by evening
- Forks
- 15
- Issues and pull requests
- 1,952
- Watchers
- 3
- Language
- TypeScript
- Latest release
- v0.1.11 · October 14, 2026
- Created
- August 22, 2026
- Last push
- October 14, 2026
Star trust
Growth looks organic: forks and discussion are in line with active projects, and stars arrive unevenly, the way people give them.
These are heuristics, not a verdict: we judge by the repository’s behavior, not by a list of stargazers.
Hacker News discussions
- Show HN: AxiomCode Graph, Reducing coding agent rework with formal methods10 points, October 14, 2026
Spotted in
- October 14, 2026Spotted on Hacker News
README badge
Paste it into your README — the badge shows the current magnitude and links to this page.
[](https://gitnova.dev/en/r/AxiomCodeAI/axiomcodegraph)