{"ok":true,"repo":{"id":170430,"full_name":"AxiomCodeAI/axiomcodegraph","url":"https://github.com/AxiomCodeAI/axiomcodegraph","description":"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.","language":"TypeScript","topics":["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"],"stars":153,"stars_delta":27,"forks":16,"first_seen":"2026-10-14T18:46:20.744624Z","last_seen":"2026-10-16T10:31:31.889944Z","mentions":1,"platforms":["hn"],"score":0.0,"summary":"AxiomCode Graph builds a knowledge graph of a codebase using tree-sitter parsing and formal-methods-derived call relationships, so AI coding agents can query exact caller/callee information instead of grepping. It integrates via MCP with tools like Claude Code and Cursor, prunes irrelevant code to save tokens, and supports Python, TypeScript, Java, and more.","why":"It was recently featured in a Show HN post claiming it reduces coding-agent rework with formal methods, alongside benchmark results on Defects4J test selection.","audience":"Developers using AI coding agents (Claude Code, Cursor, Codex, etc.) on medium-to-large codebases who want precise code context and fewer agent mistakes.","tags":["ai-agents","mcp","code-analysis","knowledge-graph","formal-methods","tree-sitter"],"summarized_at":"2026-10-14T18:50:54.436462Z","summary_model":"glm-5.3-flash","fetched_at":"2026-10-15T19:52:00.092999Z","meta":{"license":"NOASSERTION","archived":false,"homepage":"https://www.axiomcode.ai","first_stars":126},"pushed_at":"2026-10-15T18:54:04Z","created_at":"2026-08-22T21:23:17Z","watchers":5,"open_issues":94,"mentions_list":[{"platform":"hn","url":"https://news.ycombinator.com/item?id=50090514","title":"Show HN: AxiomCode Graph, Reducing coding agent rework with formal methods","seen_at":"2026-10-16T10:31:31.891476Z"}],"snapshots":[{"captured_at":"2026-10-14T18:50:48.861959Z","stars":126,"forks":14},{"captured_at":"2026-10-14T19:06:59.941433Z","stars":128,"forks":15},{"captured_at":"2026-10-14T19:21:57.969555Z","stars":128,"forks":15},{"captured_at":"2026-10-14T19:37:00.383639Z","stars":128,"forks":15},{"captured_at":"2026-10-14T19:52:20.468465Z","stars":129,"forks":15},{"captured_at":"2026-10-14T20:07:10.106814Z","stars":129,"forks":15},{"captured_at":"2026-10-14T20:21:46.341755Z","stars":129,"forks":15},{"captured_at":"2026-10-14T20:37:00.642812Z","stars":129,"forks":15},{"captured_at":"2026-10-14T20:52:00.294887Z","stars":129,"forks":15},{"captured_at":"2026-10-14T21:07:08.406975Z","stars":129,"forks":15},{"captured_at":"2026-10-14T21:22:07.343545Z","stars":129,"forks":15},{"captured_at":"2026-10-14T21:36:44.124643Z","stars":129,"forks":15},{"captured_at":"2026-10-14T21:51:58.640634Z","stars":129,"forks":15},{"captured_at":"2026-10-14T22:07:07.777655Z","stars":130,"forks":15},{"captured_at":"2026-10-14T22:22:02.106978Z","stars":131,"forks":15},{"captured_at":"2026-10-14T22:37:06.140541Z","stars":131,"forks":15},{"captured_at":"2026-10-14T22:52:14.341647Z","stars":131,"forks":15},{"captured_at":"2026-10-14T23:06:46.996063Z","stars":131,"forks":15},{"captured_at":"2026-10-14T23:21:56.130610Z","stars":131,"forks":15},{"captured_at":"2026-10-14T23:36:57.948891Z","stars":131,"forks":15},{"captured_at":"2026-10-14T23:52:07.640941Z","stars":131,"forks":15},{"captured_at":"2026-10-15T00:07:22.231114Z","stars":131,"forks":15},{"captured_at":"2026-10-15T00:21:39.140467Z","stars":131,"forks":15},{"captured_at":"2026-10-15T00:36:53.541518Z","stars":132,"forks":15},{"captured_at":"2026-10-15T00:51:54.548399Z","stars":132,"forks":15},{"captured_at":"2026-10-15T01:06:57.443050Z","stars":133,"forks":15},{"captured_at":"2026-10-15T01:22:02.243005Z","stars":133,"forks":15},{"captured_at":"2026-10-15T01:37:06.489259Z","stars":133,"forks":15},{"captured_at":"2026-10-15T01:51:40.444174Z","stars":134,"forks":15},{"captured_at":"2026-10-15T02:06:56.040784Z","stars":134,"forks":15},{"captured_at":"2026-10-15T02:22:00.640551Z","stars":135,"forks":15},{"captured_at":"2026-10-15T02:37:06.761835Z","stars":135,"forks":15},{"captured_at":"2026-10-15T02:52:04.532842Z","stars":136,"forks":15},{"captured_at":"2026-10-15T03:06:39.241158Z","stars":136,"forks":15},{"captured_at":"2026-10-15T03:21:53.968938Z","stars":136,"forks":15},{"captured_at":"2026-10-15T03:36:55.641085Z","stars":137,"forks":15},{"captured_at":"2026-10-15T03:52:02.941441Z","stars":137,"forks":15},{"captured_at":"2026-10-15T04:07:02.029720Z","stars":138,"forks":15},{"captured_at":"2026-10-15T04:21:36.739753Z","stars":138,"forks":15},{"captured_at":"2026-10-15T04:36:50.492126Z","stars":138,"forks":15},{"captured_at":"2026-10-15T04:52:02.243449Z","stars":138,"forks":15},{"captured_at":"2026-10-15T06:22:16.641269Z","stars":139,"forks":16},{"captured_at":"2026-10-15T06:36:59.928681Z","stars":140,"forks":16},{"captured_at":"2026-10-15T06:52:05.098498Z","stars":140,"forks":16},{"captured_at":"2026-10-15T07:07:07.242758Z","stars":140,"forks":16},{"captured_at":"2026-10-15T07:21:53.209047Z","stars":141,"forks":16},{"captured_at":"2026-10-15T07:36:54.644352Z","stars":141,"forks":16},{"captured_at":"2026-10-15T07:51:59.125533Z","stars":141,"forks":16},{"captured_at":"2026-10-15T08:07:05.481074Z","stars":141,"forks":16},{"captured_at":"2026-10-15T08:22:20.641527Z","stars":141,"forks":16},{"captured_at":"2026-10-15T08:36:41.540088Z","stars":141,"forks":16},{"captured_at":"2026-10-15T08:51:55.213716Z","stars":142,"forks":16},{"captured_at":"2026-10-15T09:06:59.962804Z","stars":143,"forks":16},{"captured_at":"2026-10-15T09:22:09.843393Z","stars":143,"forks":16},{"captured_at":"2026-10-15T09:37:06.868573Z","stars":143,"forks":16},{"captured_at":"2026-10-15T09:51:40.897652Z","stars":143,"forks":16},{"captured_at":"2026-10-15T10:06:54.199970Z","stars":143,"forks":16},{"captured_at":"2026-10-15T10:21:56.464501Z","stars":143,"forks":16},{"captured_at":"2026-10-15T10:37:01.342605Z","stars":143,"forks":16},{"captured_at":"2026-10-15T10:52:06.641868Z","stars":144,"forks":16},{"captured_at":"2026-10-15T11:07:41.511501Z","stars":145,"forks":16},{"captured_at":"2026-10-15T11:21:41.616652Z","stars":145,"forks":16},{"captured_at":"2026-10-15T11:36:57.779172Z","stars":146,"forks":16},{"captured_at":"2026-10-15T11:51:58.344610Z","stars":146,"forks":16},{"captured_at":"2026-10-15T12:07:04.225821Z","stars":146,"forks":16},{"captured_at":"2026-10-15T12:22:07.540359Z","stars":146,"forks":16},{"captured_at":"2026-10-15T12:36:39.562225Z","stars":146,"forks":16},{"captured_at":"2026-10-15T12:52:03.340386Z","stars":147,"forks":16},{"captured_at":"2026-10-15T13:06:57.445405Z","stars":147,"forks":16},{"captured_at":"2026-10-15T13:22:04.298201Z","stars":147,"forks":16},{"captured_at":"2026-10-15T13:37:11.871254Z","stars":147,"forks":16},{"captured_at":"2026-10-15T13:52:15.441833Z","stars":147,"forks":16},{"captured_at":"2026-10-15T14:06:52.831746Z","stars":147,"forks":16},{"captured_at":"2026-10-15T14:21:58.059875Z","stars":147,"forks":16},{"captured_at":"2026-10-15T14:52:16.790050Z","stars":147,"forks":16},{"captured_at":"2026-10-15T15:07:11.972778Z","stars":148,"forks":16},{"captured_at":"2026-10-15T15:21:44.812873Z","stars":149,"forks":16},{"captured_at":"2026-10-15T15:36:55.680070Z","stars":149,"forks":16},{"captured_at":"2026-10-15T15:51:58.203573Z","stars":150,"forks":16},{"captured_at":"2026-10-15T16:07:05.141673Z","stars":150,"forks":16},{"captured_at":"2026-10-15T16:37:17.640760Z","stars":150,"forks":16},{"captured_at":"2026-10-15T16:51:47.840834Z","stars":150,"forks":16},{"captured_at":"2026-10-15T17:06:57.010505Z","stars":151,"forks":16},{"captured_at":"2026-10-15T17:22:07.745500Z","stars":151,"forks":16},{"captured_at":"2026-10-15T17:37:04.709423Z","stars":151,"forks":16},{"captured_at":"2026-10-15T17:52:04.041445Z","stars":151,"forks":16},{"captured_at":"2026-10-15T18:06:43.442591Z","stars":152,"forks":16},{"captured_at":"2026-10-15T18:21:54.658608Z","stars":152,"forks":16},{"captured_at":"2026-10-15T18:36:57.002163Z","stars":152,"forks":16},{"captured_at":"2026-10-15T18:52:00.050430Z","stars":152,"forks":16},{"captured_at":"2026-10-15T19:07:05.542793Z","stars":153,"forks":16},{"captured_at":"2026-10-15T19:22:07.944283Z","stars":153,"forks":16},{"captured_at":"2026-10-15T19:36:44.042206Z","stars":153,"forks":16},{"captured_at":"2026-10-15T19:52:00.094211Z","stars":153,"forks":16}]}}