OSS Radar
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… Why it matters: worth a look if you build or run autonomous agents.
GitHub 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.
Stars
143
Last 24h
+12
Last 7 days
+84est.
Forks
16
Related repos
All axiomcodegraph alternatives →- Graphify-Labs/graphify+1.7kest. stars this week
Turn any codebase, with its docs, SQL schemas, configs, and PDFs, into a queryable knowledge graph. Why it matters: useful plumbing for shipping LLM-powered features.
- wshobson/agents+690est. stars this week
Multi-harness agentic plugin marketplace for Claude Code, Codex, Cursor, OpenCode, GitHub Copilot, Google Antigravity, and Pi. Why it matters: worth a look if you build or run autonomous agents.
- trailhq/Trail-Code+287est. stars this week
Turbocharge Claude Code, Cursor, Codex, Gemini & every coding agent: faster, cheaper, with contextual understanding specific to your… Why it matters: useful plumbing for shipping LLM-powered features.
- DeusData/codebase-memory-mcp+364est. stars this week
High-performance code intelligence MCP server. Indexes codebases into a persistent knowledge graph — average repo in milliseconds. Why it matters: extends what MCP-compatible assistants can connect to and do.
Star history
GitHub stars over time. A steeper line means the repo is gaining attention faster.
Last 2 hours · +1 stars
Daily, since Oct 14, 2026 · 131 → 143
* / est. Estimated: until we have enough daily snapshots for a repo, its gain is total stars ÷ days since creation. Measured numbers replace estimates automatically.
Discussed on Hacker News
Hacker News is a popular tech discussion site. 1 story links to this repo, with 10 upvotes (points) in total.
Show HN: AxiomCode Graph, Reducing coding agent rework with formal methods10 points · 8 comments · Oct 14, 2026Maintainer? Add the badge to your README
Shows your live OSS Radar rank and links back here. Updates hourly.
[](https://ossradar.net/repo/AxiomCodeAI/axiomcodegraph)<a href="https://ossradar.net/repo/AxiomCodeAI/axiomcodegraph"><img src="https://ossradar.net/badge/AxiomCodeAI/axiomcodegraph" alt="Trending on OSS Radar"></a>About axiomcodegraph
AxiomCodeAI/axiomcodegraph is a TypeScript project in the AI agents category, created 54 days ago. It has 143 GitHub stars and 16 forks, and gained +84 stars over the last 7 days (early estimate), ranking #91 of 92 AI agents repos tracked by OSS Radar this week.
See more trending AI agents repos or the top AI repos this week. Looking for something similar? See axiomcodegraph alternatives.
- Language
- TypeScript
- Category
- AI agents
- Created
- Aug 22, 2026
- Last code push
- today (Oct 15, 2026)
- Latest release
- v0.2.0 today
- 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
Rising in AI agents this week
- morluto/rea+173kest. stars this week
Reverse engineer anything with agents, from app behavior down to native binaries. Why it matters: worth a look if you build or run autonomous agents.
- vxcontrol/pentagi+6.8kest. stars this week
Fully autonomous AI Agents system capable of performing complex penetration testing tasks. Why it matters: worth a look if you build or run autonomous agents.
- heygen-com/hyperframes+4.5kest. stars this week
Write HTML. Render video. Built for agents. Why it matters: worth a look if you build or run autonomous agents.
- deepseek-ai/deepseek-harness+4kest. stars this week
DeepSeek Harness: Everything is a Plugin. Why it matters: worth a look if you build or run autonomous agents.
- paperclipai/paperclip+2.9kest. stars this week
The open-source app everyone uses to manage agents at work. Why it matters: worth a look if you build or run autonomous agents.
- corsairdev/corsair+2.3kest. stars this week
Connect your users to their apps. Why it matters: worth a look if you build or run autonomous agents.
AxiomCodeAI/axiomcodegraph is #414 of 450 on today's leaderboard.